Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Formal Development of Reactive Systems - 8 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 | 2016 |
---|---|---|---|---|---|
Schnitt | € 56,89 | € 67,29 | € 54,08 | € 55,54 | € 64,76 |
Nachfrage |
Formal Development of Reactive Systems
ISBN: 9783540588672 bzw. 3540588671, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. Soft cover.
Formal Development of Reactive Systems, Case Study Production Cell (1995)
ISBN: 9783540588672 bzw. 3540588671, in Deutsch, Springer, Taschenbuch, neu.
bol.com.
This book is based upon work done under the project Correct Software through Formal Methods supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would res... This book is based upon work done under the project Correct Software through Formal Methods supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.Taal: Engels;Afmetingen: 21x234x156 mm;Gewicht: 1,27 kg;Verschijningsdatum: januari 1995;ISBN10: 3540588671;ISBN13: 9783540588672; Engelstalig | Paperback | 1995.
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science) (1995)
ISBN: 9783540588672 bzw. 3540588671, in Englisch, 400 Seiten, 1995. Ausgabe, Springer, Taschenbuch, gebraucht.
Neu ab: $74.91 (17 Angebote)
Gebraucht ab: $7.14 (12 Angebote)
Zu den weiteren 29 Angeboten bei Amazon.com
Von Händler/Antiquariat, betterworldbooks_.
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. Paperback, Ausgabe: 1995, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1995-02-24, Studio: Springer, Verkaufsrang: 6706703.
Formal Development of Reactive Systems: Case Study Production Cell (1995)
ISBN: 9780387588674 bzw. 0387588671, in Englisch, Springer-Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, Amazon.com.
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1995-01, Studio: Springer-Verlag.
Formal Development of Reactive Systems (1995)
ISBN: 9783540588672 bzw. 3540588671, in Deutsch, Springer Berlin Heidelberg, gebundenes Buch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science) (2008)
ISBN: 9783540588672 bzw. 3540588671, in Englisch, 412 Seiten, 1995. Ausgabe, Springer, Taschenbuch, neu.
Neu ab: EUR 73,71 (6 Angebote)
Gebraucht ab: EUR 4,83 (8 Angebote)
Zu den weiteren 14 Angeboten bei Amazon.de (Int.)
Von Händler/Antiquariat, Totalbookstore.
Taschenbuch, Ausgabe: 1995, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2008-06-13, Studio: Springer.
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Note
ISBN: 9783540588672 bzw. 3540588671, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, gebraucht.
Von Händler/Antiquariat, getbooks-de - getbooks-de-24.
Festpreisangebot.
NEW Formal Development of Reactive Systems: Case Study Production Cell by Claus
ISBN: 9783540588672 bzw. 3540588671, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu.
Von Händler/Antiquariat, grandeagleretail.
Festpreisangebot.