Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.49 €
SPS 3.99 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Slovenská pošta 3.99 €
Zberné miesto DPD 2.99 €
Packeta 2.99 €
Kontakt
Ako nakupovať
Pomoc
Doručenie
Kuriér DPD 2.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.49 €
SPS 3.99 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Slovenská pošta 3.99 €
Zberné miesto DPD 2.99 €
Packeta 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
▸
Prázdny :-(
0
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Jazyk
Angličtina
Angličtina
E-kniha
Adobe ePub DRM
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking...
Celý popis
Libristo kód: 44989046
?
162 b
162 b
67.16
€
Skladom
Ihneď na stiahnutie
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.
Herečka
&
Polyglotka
EWA KASP
pre
Prehrať video
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.
Informácie o knihe
Celý názov
Model Checking Software
Jazyk
Angličtina
Angličtina
Väzba
E-kniha - Adobe ePub DRM
Dátum vydania
2023
EAN
9783031321573
Libristo kód
44989046
Nakladateľstvo
Springer
