Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
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
0
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 €
phone Kontakt phoneAko nakupovať
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čtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Georgiana Caltais
Libristo kód: 43418416
Nakladateľstvo Springer Nature B.V., máj 2023
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking... Celý popis
? points 138 b
57.02 €
Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Griese Hunnen köönt nich flegen Yvonne Semken / Kniha Brožovaná
common.buy 12.55 €

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
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Model Checking Software
Autor Georgiana Caltais, Christian Schilling
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2023
Počet strán 212
EAN 9783031321580
Libristo kód 43418416
Nakladateľstvo Springer Nature B.V.
Váha 305
Rozmery 156 x 234

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Top
Single Girl's To-Do List Lindsey Kelk / Kniha Brožovaná
common.buy 14.88 €
Sacrificial Lamb Joey W Kiser / Kniha Pevná
common.buy 19.64 €
History and Practice of Humanitarian Intervention and Aid in Africa B. Everill / Kniha Brožovaná
common.buy 53.38 €
Top
RIDING THE HIGH HOPE PAISLEY / Kniha Brožovaná
common.buy 13.46 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?