- 5 Ergebnisse
Kleinster Preis: € 22,50, größter Preis: € 48,37, Mittelwert: € 29,72
1
Formal Methods for Components and Objects - Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne
Bestellen
bei AbeBooks.de
€ 48,37
Versand: € 0,001
Bestellengesponserter Link
Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne:

Formal Methods for Components and Objects - Taschenbuch

2007, ISBN: 3540747915

[EAN: 9783540747918], Neubuch, [PU: Springer Berlin Heidelberg], OBJEKTORIENTIERT (EDV) UML FORMALMETHOD MODELCHECKING MODELING OBJECT PROGRAMMING PROGRAMMINGLANGUAGE VERIFICATION INFORMA… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
2
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)
Bestellen
bei amazon.de
€ 27,75
Versand: € 3,001
Bestellengesponserter Link
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709) - Taschenbuch

2008, ISBN: 9783540747918

Springer, Taschenbuch, Auflage: 2007, 308 Seiten, Publiziert: 2008-02-06T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.97 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…

Versandkosten:Auf Lager. Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00) ausverkauf
3
Bestellen
bei ZVAB.com
€ 24,98
Versand: € 0,001
Bestellengesponserter Link
de Boer, Frank S., Marcello M. Bonsangue und Susanne Graf:
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - Taschenbuch

2007

ISBN: 3540747915

[EAN: 9783540747918], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], VERIFICATION,PROGRAMMING,PROGRAMMING LANGUAGE,MODELING,FORMAL METHOD,MODEL CHECKING,OBJECT,, Neubindung, … Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
4
Bestellen
bei buchfreund.de
€ 24,98
Versand: € 0,001
Bestellengesponserter Link
de Boer, Frank S., Marcello M. Bonsangue und Susanne Graf:
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures 2007 - gebrauchtes Buch

2007, ISBN: 9783540747918

2007 Neubindung, 2007, Buchrücken und -kanten leicht angestossen 3937207/12 Versandkostenfreie Lieferung verification,programming,programming language,modeling,formal method,model checkin… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
5
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science) - de, Boer Frank S.
Bestellen
bei Achtung-Buecher.de
€ 22,50
Versand: € 0,001
Bestellengesponserter Link
de, Boer Frank S.:
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science) - Taschenbuch

2001, ISBN: 3540747915

Auflage: 2007 23,0 x 15,4 x 1,8 cm, Taschenbuch 308 Seiten Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek /, [KW:BUCH] 2, [PU:Springer,]

Versandkosten:Sans frais d'envoi en Allemagne. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. It provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.

Detailangaben zum Buch - Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)


EAN (ISBN-13): 9783540747918
ISBN (ISBN-10): 3540747915
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: de Boer, Frank S. Springer
297 Seiten
Gewicht: 0,467 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-02-13T23:37:43+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-07-31T14:10:34+02:00 (Berlin)
ISBN/EAN: 3540747915

ISBN - alternative Schreibweisen:
3-540-74791-5, 978-3-540-74791-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: frank paul, bons, bon marcel, marcell, graf susanne, boer willem, marcello, röver, böer, roever
Titel des Buches: object, computer, formal methods components objects, netherlands, programming, and out amsterdam, symposium, seven objects, november 1923 1933


Daten vom Verlag:

Autor/in: Frank S. de Boer; 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 - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Verlag: Springer; Springer Berlin
300 Seiten
Erscheinungsjahr: 2007-12-18
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 300 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; formal method; model checking; modeling; object; programming; programming language; verification; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Operating Systems; Compiler und Übersetzer; Theoretische Informatik; Betriebssysteme; EA

Testing.- Model-Based Testing of Environmental Conformance of Components.- Exhaustive Testing of Exception Handlers with Enforcer.- Model-Based Test Selection for Infinite-State Reactive Systems.- Program Verification.- Verifying Object-Oriented Programs with KeY: A Tutorial.- Rebeca: Theory, Applications, and Tools.- Learning Meets Verification.- Trust and Security.- JACK — A Tool for Validation of Security and Behaviour of Java Applications.- Towards a Formal Framework for Computational Trust.- Models of Computation.- On Recursion, Replication and Scope Mechanisms in Process Calculi.- Bounded Session Types for Object Oriented Languages.- Distributed Programming.- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.- Links: Web Programming Without Tiers.

< zum Archiv...