2003, ISBN: 9783540229421
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware d… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2004, ISBN: 3540229426
[EAN: 9783540229421], Neubuch, [PU: Springer Berlin Heidelberg], FORMALISMUS OBJEKTORIENTIERT (EDV) JAVA WEBSYSTEMS COMPONENTSYSTEMS FORMALMETHODS FORMALSPECIFICATION FORMALVERIFICATION L… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2004, ISBN: 3540229426
[EAN: 9783540229421], Neubuch, [PU: Springer Berlin Heidelberg], FORMALISMUS OBJEKTORIENTIERT (EDV) JAVA WEBSYSTEMS COMPONENTSYSTEMS FORMALMETHODS FORMALSPECIFICATION FORMALVERIFICATION L… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science) - Taschenbuch
2003, ISBN: 9783540229421
Springer, 2004-11-23. Paperback. Very Good. Ex-library paperback in nice condition with the usual markings and attachments., Springer, 2004-11-23, 3
Biblio.co.uk |
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science, 3188) - Taschenbuch
2003, ISBN: 9783540229421
Springer, 2004-10-27. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2004-10-27, 6
Biblio.co.uk |
2003, ISBN: 9783540229421
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware d… Mehr…
Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne:
Formal Methods for Components and Objects - Taschenbuch2004, ISBN: 3540229426
[EAN: 9783540229421], Neubuch, [PU: Springer Berlin Heidelberg], FORMALISMUS OBJEKTORIENTIERT (EDV) JAVA WEBSYSTEMS COMPONENTSYSTEMS FORMALMETHODS FORMALSPECIFICATION FORMALVERIFICATION L… Mehr…
2004
ISBN: 3540229426
[EAN: 9783540229421], Neubuch, [PU: Springer Berlin Heidelberg], FORMALISMUS OBJEKTORIENTIERT (EDV) JAVA WEBSYSTEMS COMPONENTSYSTEMS FORMALMETHODS FORMALSPECIFICATION FORMALVERIFICATION L… Mehr…
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science) - Taschenbuch
2003, ISBN: 9783540229421
Springer, 2004-11-23. Paperback. Very Good. Ex-library paperback in nice condition with the usual markings and attachments., Springer, 2004-11-23, 3
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science, 3188) - Taschenbuch
2003, ISBN: 9783540229421
Springer, 2004-10-27. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2004-10-27, 6
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Components and Objects
EAN (ISBN-13): 9783540229421
ISBN (ISBN-10): 3540229426
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin
384 Seiten
Gewicht: 0,579 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-04-26T13:42:24+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-09-20T12:13:46+02:00 (Berlin)
ISBN/EAN: 9783540229421
ISBN - alternative Schreibweisen:
3-540-22942-6, 978-3-540-22942-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: graf susanne, boer willem, frank paul, marcello, röver, marcel frank, bon marcel, böer, roever
Titel des Buches: leiden, netherlands, computer, formal methods components objects, november, seven objects, notes and methods, symposium notes
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-10-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 371 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; 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; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Theoretische Informatik; EA
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)
- 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...