. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Get it on iTunesJetzt bei Google Play
Tipp von eurobuch.de
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 66,99 €, größter Preis: 89,08 €, Mittelwert: 75,63 €
Formal Methods for Components and Objects - Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf:

Formal Methods for Components and Objects - neues Buch

2007, ISBN: 9783540747918

ID: 125008711

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 requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. 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. The book 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. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis. 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 18.12.2007 Buch (fremdspr.), Springer, .200

Neues Buch Buch.ch
No. 14971222 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Components and Objects - Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf:

Formal Methods for Components and Objects - neues Buch

2006, ISBN: 9783540747918

ID: 0f02c40595546ee583bc7f339d23e452

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures 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 requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. 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. The book 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. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-540-74791-8, Springer

Neues Buch Buch.de
Nr. 14971222 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Components and Objects - Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Frank S. de Boer#Marcello M. Bonsangue#Susanne Graf:
Formal Methods for Components and Objects - neues Buch

2006

ISBN: 9783540747918

ID: 170880145

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 requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. 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. The book 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. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis. 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 14971222 Versandkosten:, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering) - Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor):
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering) - Taschenbuch

2006, ISBN: 9783540747918

ID: 599393194

Springer, 2008-02-06. 2007. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available., Springer, 2008-02-06

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 13.46
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Components and Objects - Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever:
Formal Methods for Components and Objects - Taschenbuch

2007, ISBN: 9783540747918

ID: 8514586

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures, 2007, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , sem custos de envio na RFA (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Formal Methods for Components and Objects
Autor:

Marcello M. Bonsangue

Titel:

Formal Methods for Components and Objects

ISBN-Nummer:

9783540747918

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


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

Buch in der Datenbank seit 13.02.2007 23:37:43
Buch zuletzt gefunden am 25.03.2017 21:50:24
ISBN/EAN: 9783540747918

ISBN - alternative Schreibweisen:
3-540-74791-5, 978-3-540-74791-8

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher