Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey - Taschenbuch
2009, ISBN: 3642041663
[EAN: 9783642041662], Neubuch, [PU: Springer Berlin Heidelberg], JAVA (EDV); UML JAVA; DESIGN; MODELING; PROGRAMMING; PROGRAMMINGLANGUAGE; VALIDATION; VERIFICATION, Druck auf Anfrage Neuw… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 13.86 Details... |
2009, ISBN: 9783642041662
*Formal Methods for Components and Objects* - 7th International Symposium FMCO 2008 Sophia Antipolis France October 21-23 2008 State of the Art Survey. Auflage 2009 / Taschenbuch für 53.4… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey - gebrauchtes Buch
2009, ISBN: 9783642041662
[PU: Springer Berlin], Neubindung, Buchecken leicht angestossen 5673012/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, PayPal, Klarna-Sofortüberweisu… Mehr…
booklooker.de |
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey 2009 - gebrauchtes Buch
2009, ISBN: 9783642041662
2009 Neubindung, Buchecken leicht angestossen 5673012/2 Versandkostenfreie Lieferung programming,Java,validation,modeling,design,verification,programming language,, [PU:Springer Berlin,]
buchfreund.de |
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering) - Taschenbuch
2008, ISBN: 9783642041662
Springer, 2009-10-07. 2009. Paperback. Used:Good., Springer, 2009-10-07, 0
Biblio.co.uk |
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey - Taschenbuch
2009, ISBN: 3642041663
[EAN: 9783642041662], Neubuch, [PU: Springer Berlin Heidelberg], JAVA (EDV); UML JAVA; DESIGN; MODELING; PROGRAMMING; PROGRAMMINGLANGUAGE; VALIDATION; VERIFICATION, Druck auf Anfrage Neuw… Mehr…
2009, ISBN: 9783642041662
*Formal Methods for Components and Objects* - 7th International Symposium FMCO 2008 Sophia Antipolis France October 21-23 2008 State of the Art Survey. Auflage 2009 / Taschenbuch für 53.4… Mehr…
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey - gebrauchtes Buch
2009
ISBN: 9783642041662
[PU: Springer Berlin], Neubindung, Buchecken leicht angestossen 5673012/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, PayPal, Klarna-Sofortüberweisu… Mehr…
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey 2009 - gebrauchtes Buch
2009, ISBN: 9783642041662
2009 Neubindung, Buchecken leicht angestossen 5673012/2 Versandkostenfreie Lieferung programming,Java,validation,modeling,design,verification,programming language,, [PU:Springer Berlin,]
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering) - Taschenbuch
2008, ISBN: 9783642041662
Springer, 2009-10-07. 2009. Paperback. Used:Good., Springer, 2009-10-07, 0
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Components and Objects
EAN (ISBN-13): 9783642041662
ISBN (ISBN-10): 3642041663
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg
297 Seiten
Gewicht: 0,482 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2009-02-28T10:20:56+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-16T13:48:24+02:00 (Berlin)
ISBN/EAN: 9783642041662
ISBN - alternative Schreibweisen:
3-642-04166-3, 978-3-642-04166-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: boer, marcello, bon marcel, bons, böer, eric
Titel des Buches: october, art international, sophia, art the state, art programming, methods programming, engineering software, seven objects, 7th international, art france, boer, ufo symposium, the book art, the computer art
Daten vom Verlag:
Autor/in: Marcello M. Bonsangue; Eric Madelaine
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Components and Objects - 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Verlag: Springer; Springer Berlin
299 Seiten
Erscheinungsjahr: 2009-09-07
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 299 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Java; design; modeling; programming; programming language; validation; verification; Software Engineering; Operating Systems; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Programming Techniques; Betriebssysteme; Compiler und Übersetzer; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA
The COMPAS Project.- Reusable Architectural Decision Model for Model and Metadata Repositories.- Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.- The CREDO Project.- A Real-Time Extension of Creol for Modelling Biomedical Sensors.- Conformance Testing of Distributed Concurrent Systems with Executable Designs.- Formal Verification for Components and Connectors.- The DEPLOY Project.- Formal Modular Modelling of Context-Awareness.- Towards Demonstrably Correct Compilation of Java Byte Code.- Incremental System Modelling in Event-B.- The GRIDCOMP Project.- An Asynchronous Distributed Component Model and Its Semantics.- Specification and Verification for Grid Component-Based Applications: From Models to Tools.- Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming.- The MOBIUS Project.- Session-Based Compilation Framework for Multicore Programming.- Abstract Interpretation of Symbolic Execution with Explicit State Updates.- BML and Related Tools.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...