Kód: 43418416

Model Checking Software

Name: Model Checking Software
Brand: Springer Nature B.V.
SKU: 43418416
Price: 1309.00 CZK
Availability: InStock
Author: Georgiana Caltais
ISBN: 9783031321580

Autor Georgiana Caltais, Christian Schilling

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 ... celý popis

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 212
Nakladatelství: Springer Nature B.V., 2023
Více informací o knize

1309 Kč

Skladem u dodavatele
Odesíláme za 10-18 dnů

Přidat mezi přání

Mohlo by se vám také líbit

RIDING THE HIGH
303 Kč
Koupit
Single Girl's To-Do List
226 Kč
Koupit
History and Practice of Humanitarian Intervention and Aid in Africa
1223 Kč
Koupit
Sacrificial Lamb
474 Kč
Koupit
Griese Hunnen köönt nich flegen
310 Kč
Koupit

Dárkový poukaz: Radost zaručena

Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
Poukaz se vztahuje na celou naši nabídku.
Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
Platnost poukazu je 12 měsíců od data vystavení.

Objednat dárkový poukaz Více informací

Více informací o knize Model Checking Software

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 131 bodů

Anotace knihy

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.

Parametry knihy

1309 Kč

Plný název: Model Checking Software
Podnázev: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Autor: Georgiana Caltais, Christian Schilling
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 212
EAN: 9783031321580
ID: 43418416
Nakladatelství: Springer Nature B.V.
Hmotnost: 305 g
Rozměry: 234 × 156 mm
Datum vydání: 02. May 2023