Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti.
Izradite besplatni račun
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 €
Pošta 4.99 €
Overseas 4.99 €
Box Now 4.49 €
GLS 4.99 €
DPD točka 3.49 €
GLS paketomat 3.99 €
Kontakt
Kako kupovati
Pomoć
Dostava
DPD kurir 3.99 €
Pošta 4.99 €
Overseas 4.99 €
Box Now 4.49 €
GLS 4.99 €
DPD točka 3.49 €
GLS paketomat 3.99 €
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
Savjetnik za kupnju
Ovdje smo zbog vas!
+385 21 784 0072
Moj račun
▸
Prazno :-(
0
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV. DE
Jezik
Engleski
Engleski
Knjiga
Meki uvez
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Co...
Cijeli opis
Libristo kod: 48985627
?
100 b
100 b
41.37
€
Vanjske zalihe
Šaljemo za 5-8 dana
30 dana za povrat kupljenih proizvoda
Moglo bi vas zanimati i
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 21 25, 2025.
The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions.
The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.
Glumica
&
Poliglotkinja
EWA KASP
za
Pusti video
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.
Informacije o knjizi
Puni naziv
Computer Aided Verification
Autor
Ruzica Piskac, Zvonimir Rakamaric
Jezik
Engleski
Engleski
Uvez
Knjiga - Meki uvez
Datum izdanja
2025
Broj stranica
500
EAN
9783031986840
Libristo kod
48985627
Nakladnici
Springer, Berlin
Težina
625
Dimenzije
155 x 235
