Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Model Checking Software

58,84 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

Produktnummer: 180eb9aff4acc544b188722a13d79ab539
Themengebiete: architecting automata cryptography cyber security formal methods formal security models formal verification mathematical foundations of cryptography model checking runtime enforcement
Veröffentlichungsdatum: 01.05.2023
EAN: 9783031321573
Sprache: Englisch
Seitenzahl: 199
Produktart: Unbekannt
Herausgeber: Caltais, Georgiana Schilling, Christian
Verlag: Springer International Publishing
Untertitel: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
Produktinformationen "Model Checking Software"
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen