Skaggvaxlyx
Lagligspark
Elcykelnord
Humleplantor
Vitaminlycka
Festdrycker
Malhandskar
Sandalstilen
Styrbladsegel
Handdukkrok
Plantertrad
Rengorproffs
Elgrasklipp
Parasitdropp
Stretchmatta
Sommargrill
Familjepool
Sanglakanlyx
Kpopfanlycka
Groningsfro
www.agenciacoranto.com.ar
Abholung oder Lieferung?
Modal and Temporal Properties of Processes (Texts in Computer Science)
€14.98
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von www.agenciacoranto.com.ar
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€14.98
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von www.agenciacoranto.com.ar
30 Tage kostenlose Rückgabe Details
Produktdetails
| Artikelnummer | 231816711 | Erscheinungsdatum | 2026/06/18 | Listenpreis | €14.98 | Modellnummer | 231816711 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. Read more
| ASIN | B000WDP4QK |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-1475735505 |
| Edition | 2001st |
| Language | English |
| File size | 2.6 MB |
| Page Flip | Not Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 203 pages |
| Accessibility | Learn more |
| Part of series | Texts in Computer Science |
| Publication date | March 14, 2013 |
| Enhanced typesetting | Not Enabled |
Korrektur der Produktinformationen
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
Korrekturanfrage