Toggle Nav
Menu

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
270 Seiten, Taschenbuch
€ 54.99
-
+
Lieferbar in 6 Tagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Lecture Notes in Computer Science
ISBN 9783031661488
Sprache Englisch
Erscheinungsdatum 13.10.2024
Genre Technik/Elektronik, Elektrotechnik, Nachrichtentechnik
Verlag Springer International Publishing
Herausgegeben von Thomas Neele, Anton Wijs
LieferzeitLieferbar in 6 Tagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags


This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.



The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.


Mehr Informationen
Reihe Lecture Notes in Computer Science
ISBN 9783031661488
Sprache Englisch
Erscheinungsdatum 13.10.2024
Genre Technik/Elektronik, Elektrotechnik, Nachrichtentechnik
Verlag Springer International Publishing
Herausgegeben von Thomas Neele, Anton Wijs
LieferzeitLieferbar in 6 Tagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Die Wiener Seele - GrußkartensetDie Wiener Seele - Grußkartenset
Falter-Schürze WürstelFalter-Schürze Würstel
Das Problembär-ShirtDas Problembär-Shirt