Daļa no pirkuma summas tiks atgriezta 220.lv naudā
Papildu 220.lv PLUS piedāvājumi
Es vēlos kļūt par 220.lv PLUS biedru un piekrītu saņemt piedāvājumus un paziņojumus no 220.lv PLUS lojalitātes programmas operatoriem un to partneriem, un piekrītu, ka mani personas dati tiks apstrādāti šiem mērķiem.
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
Uzmanību! Piegādes nosacījumi ir provizoriski, jo noteikumi tiek atjaunināti atkarībā no faktiskā pasūtījuma veikšanas laika un apmaksas. Galīgais piegādes termiņš tiek norādīts, kad 220.lv apstiprina pasūtījumu.
Saņemiet Omniva pakomātā
31. augustā
249 €
Unisend pakomātā
31. augustā
299 €
Piegādāsim uz mājām
31. augustā
499 €
Uzmanību! Piegādes nosacījumi ir provizoriski, jo noteikumi tiek atjaunināti atkarībā no faktiskā pasūtījuma veikšanas laika un apmaksas. Galīgais piegādes termiņš tiek norādīts, kad 220.lv apstiprina pasūtījumu.
Preces apraksts: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
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.
Kopīgā informācija par: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
Produktu attēliem ir ilustratīva nozīme un tie ir kā piemēri. Produkta aprakstā esošie video ir paredzēti tikai informatīviem nolūkiem, tāpēc tajos iekļautā informācija var atšķirties no paša produkta. Krāsas, piezīmes, parametri, izmēri, izmēri, funkcijas, un/vai jebkuras citas oriģinālo izstrādājumu īpašības var atšķirties no to faktiskā izskata, tāpēc, lūdzu, skatiet produkta specifikācijās norādīto produkta aprakstu.
Arī citi interesējās
Partneru piedāvājumi
Reklāma
Vērtējumi un atsauksmes (0)
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings