2003, ISBN: 9783540301011
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting f… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2003, ISBN: 9783540301011
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting f… Mehr…
| ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2004, ISBN: 9783540301011
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin H… Mehr…
| lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2004, ISBN: 9783540301011
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
| lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures - neues Buch
2003, ISBN: 9783540301011
; PDF; Computing, Springer Berlin Heidelberg
| hive.co.uk No. 9783540301011. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2003, ISBN: 9783540301011
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting f… Mehr…
2003, ISBN: 9783540301011
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting f… Mehr…
2004
ISBN: 9783540301011
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin H… Mehr…
2004, ISBN: 9783540301011
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures - neues Buch
2003, ISBN: 9783540301011
; PDF; Computing, Springer Berlin Heidelberg
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Components and Objects
EAN (ISBN-13): 9783540301011
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-05-10T02:54:07+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-11-09T21:18:19+01:00 (Berlin)
ISBN/EAN: 9783540301011
ISBN - alternative Schreibweisen:
978-3-540-30101-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: boer, frank paul, thomas, marcel bon, roever
Titel des Buches: symposium
Daten vom Verlag:
Autor/in: Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Titel: Lecture Notes in Computer Science; Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
Verlag: Springer; Springer Berlin
371 Seiten
Erscheinungsjahr: 2004-11-08
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 371 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Java; Web systems; component systems; formal methods; formal specification; formal verification; logic; mobile computing; modeling; object; object systems; reactive systems; systems analysis; systems design; systems modeling; C; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Compiler und Übersetzer; Theoretische Informatik; BC
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Machine Function Based Control Code Algebras.- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.- On the Verification of Cooperating Traffic Agents.- How to Cook a Complete Hoare Logic for Your Pet OO Language.- Behavioural Specification for Hierarchical Object Composition.- Consistency Management within Model-Based Object-Oriented Development of Components.- CommUnity on the Move: Architectures for Distribution and Mobility.- TulaFale: A Security Tool for Web Services.- A Checker for Modal Formulae for Processes with Data.- Semantic Essence of AsmL: Extended Abstract.- An MDA Approach to Tame Component Based Software Development.- An Application of Stream Calculus to Signal Flow Graphs.- Synchronous Closing and Flow Analysis for Model Checking Timed Systems.- Priority Systems.- Preserving Properties under Change.- Tools for Generating and Analyzing Attack Graphs.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540203032 Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures Fra (Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever)
- 9783540203032 Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures Fra (Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever)
- 9783540229421 Formal Methods for Components and Objects (Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne)
- 9783540291312 Formal Methods for Components and Objects (Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne)
- [(Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures )] [Author: Frank S. de Boer] [Nov-2003] (Frank S. de Boer)
- Formal Methods for Components and Objects 2004
< zum Archiv...