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.
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Jezik
Angleščina
Angleščina
Knjiga
Mehka
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the...
Celoten opis
Koda Libristo: 50453574
?
138 b
138 b
56.88
€
Na zalogi pri dobavitelju
Odposlali bomo v 10-18 dneh
30 dni za vračilo blaga
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:
Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;
Part II: Decision procedures; model checking; neural networks and machine learning;
Part II: Probabilistic systems; security and quantum systems; software verification.
Igralka
&
Poliglotka
EWA KASP
za
Predvajaj video
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
O knjigi
Polni naslov
Computer Aided Verification
Avtor
Constantin Enea, Akash Lal
Jezik
Angleščina
Angleščina
Vezava
Knjiga - Mehka
Datum izida
2023
Število strani
478
EAN
9783031377044
ISBN
3031377044
Koda Libristo
50453574
Založba
Springer Nature B.V.
Teža
665
Mere
156 x 234 x 24
