Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
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č
Dostava
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 €
Brezplačna dostava Zásilkovna nad 69.99 €
Svetovalec pri nakupu
Moj račun
▸
Prazna :-(
0
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Jezik
Angleščina
Angleščina
Knjiga
Mehka
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM...
Celoten opis
Koda Libristo: 10929286
?
153 b
153 b
63.27
€
Na zalogi pri dobavitelju
Odposlali bomo v 5-8 dneh
Do 30 dni za vračilo
Drugi so kupili tudi
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.§The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.§
Igralka
&
Poliglotka
EWA KASP
za
Predvajaj video
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
O knjigi
Polni naslov
NASA Formal Methods
Avtor
Sanjai Rayadurgam, Oksana Tkachuk
Jezik
Angleščina
Angleščina
Vezava
Knjiga - Mehka
Datum izida
2016
Število strani
396
EAN
9783319406473
ISBN
9783319406473
Koda Libristo
10929286
Teža
6263
Mere
155 x 235 x 22
Kategorije
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
