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
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.
Computer Aided Verification
Jezik
Engleski
Engleski
Knjiga
Meki uvez
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st...
Cijeli opis
Libristo kod: 24027842
?
125 b
125 b
51.63
€
Vanjske zalihe
Šaljemo za 5-8 dana
30 dana za povrat kupljenih proizvoda
Kupci su kupili i
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented togeth
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
Isil Dillig, Serdar Tasiran
Jezik
Engleski
Engleski
Uvez
Knjiga - Meki uvez
Datum izdanja
2019
Broj stranica
549
EAN
9783030255428
ISBN
3030255425
Libristo kod
24027842
Nakladnici
Springer Nature Switzerland AG
Težina
866
Dimenzije
155 x 235 x 31
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Meki uvez
14.54
€
