Formal Methods for Components and Objects - 8 Angebote vergleichen
Preise | 2014 | 2015 | 2017 | 2020 | 2021 |
---|---|---|---|---|---|
Schnitt | € 61,58 | € 76,95 | € 82,39 | € 74,89 | € 72,44 |
Nachfrage |
1
Formal Methods for Components and Objects (2008)
DE PB NW
ISBN: 9783540747918 bzw. 3540747915, in Deutsch, Springer-Verlag Gmbh Jan 2008, Taschenbuch, neu.
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Neuware - 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. 297 pp. Englisch.
Neuware - 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. 297 pp. Englisch.
2
Formal Methods for Components Objects (2015)
DE PB NW
ISBN: 9783540747918 bzw. 3540747915, in Deutsch, SPRINGER VERLAG GMBH 01/03/2015, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, United Kingdom.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
3
Formal Methods for Components and Objects (2007)
~EN PB NW
ISBN: 9783540747918 bzw. 3540747915, vermutlich in Englisch, Springer Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Sofort lieferbar.
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. Taschenbuch, 18.12.2007.
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. Taschenbuch, 18.12.2007.
4
Formal Methods for Components and Objects
DE NW EB
ISBN: 9783540747918 bzw. 3540747915, in Deutsch, Springer Berlin Heidelberg, neu, E-Book.
Lieferung aus: Vereinigte Staaten von Amerika, E-Book zum download.
Computers, 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. eBook.
Computers, 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. eBook.
5
Formal Methods for Components and Objects (2006)
~EN PB NW
ISBN: 9783540747918 bzw. 3540747915, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
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. Soft cover.
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. Soft cover.
6
Formal Methods for Components and Objects (2007)
~EN PB NW
ISBN: 9783540747918 bzw. 3540747915, vermutlich in Englisch, Springer Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, sofort lieferbar.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Formal Methods for Components and Objects
DE NW
ISBN: 9783540747918 bzw. 3540747915, in Deutsch, Springer Science+Business Media, neu.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures . / Programming and Software Engineering) (2008)
DE PB NW
ISBN: 9783540747918 bzw. 3540747915, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, English-Book-Service - A Fine Choice [1048135], Waldshut-Tiengen, Germany.
Lade…