Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

María del Mar Gallardo

Pedro Merino

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 19534895

Založba Springer International Publishing AG, junij 2018

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Celoten opis

Koda Libristo: 19534895

118 b

48.57 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Rüyalar ve Uyanislar Defteri Latife Tekin

Mehka

13.37 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

Mehka

33.39 €

naanallada naanu s.g.shivashankar

Mehka

14.77 €

Plastic Death Glass Beach

Zvočni CD

20.91 €

Gesammelte Werke Ernst Von Wildenbruch

Mehka

54.10 €

Das Erbe Martin Wieland

Mehka

19.30 €

Guida al cinema noir Stefano Di Marino

Mehka

45.67 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

Mehka

13.87 €

Elaboración de vinos espumosos y cavas Madrid Vicente

Mehka

34.69 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Knjiga

Mehka

22.52 €

Desserts faciles pour débutants - 100 recettes à dévorer

Mehka

6.33 €

Adelaïde la licorne et les enfants du monde - Ingrid et le troupeau de rennes Colette Becuzzi

Mehka

7.13 €

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

Mehka

41.63 €

Anders, Korbonski, Sieniewicz... Ziętara Paweł

Mehka

9.24 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.