Von dem Buch Theoretical Practical Aspects of SPIN Model Checking: 5th 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 1999 (Lecture Notes in Computer Science 1680) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sous la direction de: Dennis Dams, Sous la direction de: Robert Gerth, Sous la direction de: Stefan Leue, Sous la direction de: Mieke Massinek: Theoretical Practical Aspects of SPIN Model Checking: 5th 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 1999 (Lecture Notes in Computer Science 1680) (ISBN: 9783540664994) in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
67%: Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek: Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings (ISBN: 9783540482345) 1999, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Theoretical Practical Aspects of SPIN Model Checking: 5th 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 1999 (Lecture Notes in Computer Science 1680)
10 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2017 | 2023 |
|---|---|---|---|---|---|
| Schnitt | € 36,45 | € 63,41 | € 37,65 | € 55,02 | € 53,49 |
| Nachfrage |
1
Theoretical and Practical Aspects of SPIN Model Checking
~EN NW EB DLISBN: 9783540482345 bzw. 3540482342, vermutlich in Englisch, Springer Nature, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness. eBook.
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness. eBook.
2
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, . (Lecture Notes in Computer Science) (2008)
DE USISBN: 9783540664994 bzw. 3540664998, in Deutsch, Springer, gebraucht.
getbooks GmbH, [4040832].
290 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822096.01.
290 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822096.01.
3
Symbolbild
Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July 5, 1999, T
DEISBN: 9783540664994 bzw. 3540664998, in Deutsch, Springer.
Lieferung aus: Vereinigte Staaten von Amerika, في الأوراق المالية.
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
4
Theoretical and Practical Aspects of SPIN Model Checking
~EN PB NWISBN: 9783540664994 bzw. 3540664998, vermutlich in Englisch, Springer Nature, Taschenbuch, 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
5
Symbolbild
Theoretical and Practical Aspects of SPIN Model Checking (1999)
DE PB NW RPISBN: 9783540664994 bzw. 3540664998, in Deutsch, Springer Sep 1999, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
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
6
Theoretical and Practical Aspects of SPIN Model Checking
DE PB NWISBN: 9783540664994 bzw. 3540664998, in Deutsch, Springer, Taschenbuch, neu.
Lieferung aus: Schweiz, 08.09.1999.
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
Theoretical and Practical Aspects of SPIN Model Checking
DE NWISBN: 9783540664994 bzw. 3540664998, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandfertig in 5 - 7 Tagen.
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
Theoretical and Practical Aspects of SPIN Model Checking
DE NW EBISBN: 9783540482345 bzw. 3540482342, in Deutsch, Springer Nature, neu, E-Book.
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
9
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings (1999)
EN NW EB DLISBN: 9783540482345 bzw. 3540482342, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
10
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings (1999)
EN NW EB DLISBN: 9783540482345 bzw. 3540482342, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
Lade…