Sveiki, kā varam palīdzēt?

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

Specifikācijas:
Lapaspušu skaits: 284
Izdošanas gads: 2024
Preces ID: 124840352
Tikai lietotnē 220.lv PLUS biedriem! Saņem līdz 4x vairāk 220.lv naudā!*
  • Pilna cena
  • Nomaksa 0,99% (60 mēn.)
    No 173 x 60 mēn.

220.lv PLUS cena

6532

Parastā cena

9330

220.lv PLUS cena

6532
No 173 / mēn.
Pārdevējs:

Rīgā, veikalā (Krasta iela 52)

31. augustā

000

Saņemiet Omniva pakomātā

31. augustā

249

Unisend pakomātā

31. augustā

299

Piegādāsim uz mājām

31. augustā

399

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.

Pārdevējs:
  • 88% pircēju ieteiktu šo pārdevēju.
Piedāvājumu vilnis! līdz -60%*
Informācija

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

Preces ID: 124840352
Kategorija: Grāmatas par dārzkopību
Preču iepakojumu skaits: 1 gab.
Iepakojuma izmēri un svars (1): 0,235 x 0,155 x 0,016 m, 0,44 kg
Izdevniecība: Springer International Publishing
Izdošanas valoda: Angļu
Grāmatas vāku tips: Mīkstie
Formāts: Tradicionālā grāmata
Lapaspušu skaits: 284
Izdošanas gads: 2024

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
Esiet pirmais, kurš atstāj atsauksmi!
Šo preci var novērtēt tikai tie pircēji, kas to ir iegādājušies un reģistrējušies 220.lv.
Novērtēt preci

Jautājumi un atbildes (0)

Jautājiet citiem pircējiem par šo produktu!
Uzdot jautājumu
Jūsu jautājums ir veiksmīgi nosūtīts. Atbilde uz šo jautājumu tiks sniegta 3 darba dienu laikā
Jautājumam jāsatur vismaz 10 rakstzīmes

Rekomendējam kopā ar: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings


Labākais no Patogupirkti