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 3.49 €
Zbirno mesto 3.49 €
Zbirno mesto 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 3.49 €
Zbirno mesto 3.49 €
Zbirno mesto 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
15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Jezik
Angleščina
Angleščina
Knjiga
Mehka
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NF...
Celoten opis
Koda Libristo: 50453037
?
138 b
138 b
56.95
€
Na zalogi pri dobavitelju
Odposlali bomo v 10-18 dneh
30 dni za vračilo blaga
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.
The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
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
Jezik
Angleščina
Angleščina
Vezava
Knjiga - Mehka
Datum izida
2023
Število strani
516
EAN
9783031331718
ISBN
3031331710
Koda Libristo
50453037
Založba
Springer Nature B.V.
Teža
717
Mere
156 x 234 x 26
