- 5 Results
Lowest price: € 22.50, highest price: € 48.37, average price: € 29.72
1
Formal Methods for Components and Objects - Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne
Order
at AbeBooks.de
€ 48.37
Shipment: € 0.001
Order
Provider details
Sponsored link
Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne:

Formal Methods for Components and Objects - Paperback

2007, ISBN: 3540747915

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

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
close (x)
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)
Order
at amazon.de
€ 27.75
Shipment: € 3.001
Order
Provider details
Sponsored 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) - Paperback

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 … More...

Shipping costs:Auf Lager. Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00) ausverkauf
close (x)
3
Order
at ZVAB.com
€ 24.98
Shipment: € 0.001
Order
Provider details
Sponsored 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 - Paperback

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, … More...

NOT NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
close (x)
4
Order
at buchfreund.de
€ 24.98
Shipment: € 0.001
Order
Provider details
Sponsored 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 - used book

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… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
close (x)
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.
Order
at Achtung-Buecher.de
€ 22.50
Shipment: € 0.001
Order
Provider details
Sponsored 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) - Paperback

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,]

Shipping costs:Sans frais d'envoi en Allemagne. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
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)
Author:
Title:
ISBN:

3540747915


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.

Details of the book - 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
Hardcover
Paperback
Publishing year: 2008
Publisher: de Boer, Frank S. Springer
297 Pages
Weight: 0,467 kg
Language: eng/Englisch

Book in our database since 2007-02-13T22:37:43+00:00 (London)
Detail page last modified on 2023-07-31T13:10:34+01:00 (London)
ISBN/EAN: 3540747915

ISBN - alternate spelling:
3-540-74791-5, 978-3-540-74791-8
Alternate spelling and related search-keywords:
Book author: frank paul, bons, bon marcel, marcell, graf susanne, boer willem, marcello, röver, böer, roever
Book title: object, computer, formal methods components objects, netherlands, programming, and out amsterdam, symposium, seven objects, november 1923 1933

Information from Publisher

Author: Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Title: 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
Publisher: Springer; Springer Berlin
300 Pages
Publishing year: 2007-12-18
Berlin; Heidelberg; DE
Language: English
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.

More/other books that might be very similar to this book

Latest similar book:
9783540301011 Formal Methods for Components and Objects (Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever)

< to archive...