Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - neues Buch
2009, ISBN: 9783642170713
All modern industries rely on large and complex software systems.In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in … Mehr…
hive.co.uk No. 9783642170713. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - neues Buch
2009, ISBN: 9783642170713
All modern industries rely on large and complex software systems.In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in … Mehr…
hive.co.uk No. 9783642170713. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2009, ISBN: 9783642170713
*Formal Methods for Components and Objects* - 8th International Symposium FMCO 2009 Eindhoven The Netherlands November 4-6 2009. Revised Selected Papers / pdf eBook für 53.49 € / Aus dem … Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2009, ISBN: 9783642170713
Formal Methods for Components and Objects - 8th International Symposium FMCO 2009 Eindhoven The Netherlands November 4-6 2009. Revised Selected Papers: ab 53.49 € eBooks > Sachthemen & Ra… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - neues Buch
2009, ISBN: 9783642170713
; PDF; Computing > Operating systems, Springer Berlin Heidelberg
hive.co.uk No. 9783642170713. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - neues Buch
2009, ISBN: 9783642170713
All modern industries rely on large and complex software systems.In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in … Mehr…
Eric Diehl:
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - neues Buch2009, ISBN: 9783642170713
All modern industries rely on large and complex software systems.In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in … Mehr…
2009
ISBN: 9783642170713
*Formal Methods for Components and Objects* - 8th International Symposium FMCO 2009 Eindhoven The Netherlands November 4-6 2009. Revised Selected Papers / pdf eBook für 53.49 € / Aus dem … Mehr…
2009, ISBN: 9783642170713
Formal Methods for Components and Objects - 8th International Symposium FMCO 2009 Eindhoven The Netherlands November 4-6 2009. Revised Selected Papers: ab 53.49 € eBooks > Sachthemen & Ra… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Components and Objects
EAN (ISBN-13): 9783642170713
Erscheinungsjahr: 2009
Herausgeber: Springer-Verlag GmbH
Buch in der Datenbank seit 2014-07-14T18:19:35+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-07T17:02:06+02:00 (Berlin)
ISBN/EAN: 9783642170713
ISBN - alternative Schreibweisen:
978-3-642-17071-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: boer, michael frank, böer, leuschel, stefan frank, marcel bon
Titel des Buches: seven objects
Daten vom Verlag:
Autor/in: Frank S. de Boer; Marcello M. Bonsangue; Stefan Hallerstede; Michael Leuschel
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Verlag: Springer; Springer Berlin
339 Seiten
Erscheinungsjahr: 2010-11-11
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 339 p. 111 illus., 55 illus. in color.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; component systems; formal specification; formal verification; process analysis; systems modeling; C; Software Engineering; Compilers and Interpreters; Operating Systems; Computer Science Logic and Foundations of Programming; Programming Techniques; Computer Science; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; BC
Up-to-date results Fast track conference proceedings State-of-the-art resultsWeitere, 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...