1
Tere, kuidas saame aidata?

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

Täpsustused:
Lehekülgede arv: 284
Ilmumisaasta: 2024
Kauba ID: 115199259
Ainult äpis Kaup24 PLUS liikmetele! Saad kuni 4x rohkem Kaup24-eurosid!*
  • Täishind
  • 60 k. intressivaba
    Al. 173 x 60 kuud

Kaup24 PLUS hind

6532

Tavahind

9330

Kaup24 PLUS hind

6532
Al. 173 / kuus
Müüja:

Kaup24 Tallinna pood (Mustika keskus, Karjavälja 4)

7. augustil

000

Omniva pakiautomaat

7. augustil

249

Kuller

7. augustil

399

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Omniva pakiautomaat

7. augustil

249

Kuller

7. augustil

399

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Müüja:
  • 89% ostjatest soovitaks seda müüjat.
Üks klikk ja olemas!
Informatsioon

Toote kirjeldus: 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.

Üldine tooteinfo: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings

Kauba ID: 115199259
Kategooria: Aiandusraamatud
Tootepakendite arv: 1 tk.
Paki suurus ja kaal (1): 0,235 x 0,155 x 0,016 m, 0,44 kg
Kirjastus: Springer International Publishing
Raamatu keel: Inglise keel
Kaane tüüp: Pehme
Vorming: Traditsiooniline raamat
Lehekülgede arv: 284
Ilmumisaasta: 2024

Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.

Teised on vaadanud
Partnerite pakkumised
Reklaam

Hinnangud ja arvustused (0)

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
Jäta esimene arvustus!
Toote hindamiseks pead olema sisse logitud ja toote Kaup24.ee e-poest eelnevalt ka ostnud.
Hinda toodet

Küsimused ja vastused (0)

Küsi toote kohta teistelt ostjatelt!
Esita küsimus
Teie küsimus on edukalt saadetud. Sellele küsimusele vastatakse 3 tööpäeva jooksul
Küsimus peab olema vähemalt 10 tähemärki

Soovitame osta koos: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings


Parimad pakkumised müüjalt Patogupirkti