2007, ISBN: 9783540921882
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2007, ISBN: 9783540921882
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems … Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2007, ISBN: 9783540921882
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems … Mehr…
Springer.com Nr. 978-3-540-92188-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2008, ISBN: 9783540921882
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin … Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2008, ISBN: 9783540921882
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2007, ISBN: 9783540921882
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems … Mehr…
2007, ISBN: 9783540921882
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems … Mehr…
2007
ISBN: 9783540921882
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems … Mehr…
2008, ISBN: 9783540921882
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin … Mehr…
2008, ISBN: 9783540921882
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Components and Objects
EAN (ISBN-13): 9783540921882
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-21T03:15:33+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-21T16:14:54+02:00 (Berlin)
ISBN/EAN: 9783540921882
ISBN - alternative Schreibweisen:
978-3-540-92188-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: marcel bon, roever
Daten vom Verlag:
Autor/in: Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Components and Objects - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Verlag: Springer; Springer Berlin
313 Seiten
Erscheinungsjahr: 2008-12-04
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 313 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Cluster; Java; design; modeling; programming; programming language; validation; verification; C; Software Engineering; Compilers and Interpreters; Operating Systems; Computer Science Logic and Foundations of Programming; Computer Science; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; BC
The MOBIUS Project.- The MOBIUS Proof Carrying Code Infrastructure.- Certification Using the Mobius Base Logic.- Safety Guarantees from Explicit Resource Management.- Universe Types for Topology and Encapsulation.- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.- The GridCOMP Project.- Active Objects and Distributed Components: Theory and Implementation.- The SELFMAN Project.- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.- The ARTIST Project.- Causal Semantics for the Algebra of Connectors.- Multiple Viewpoint Contract-Based Specification and Design.- The CREDO Project.- Coordination: Reo, Nets, and Logic.- An Object-Oriented Component Model for Heterogeneous Nets.- Coordinating Object Oriented Components Using Data-Flow Networks.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...