Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Isil Dillig
Libristo kod: 24027842
Nakladnici Springer Nature Switzerland AG, srpanj 2019
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st... Cijeli opis
? points 118 b
48.45 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Út az egészséges élethez Edgar Cayce / Knjiga Meki uvez
common.buy 6.11 €
Preisbildung an deutschen Aktienmarkten Sonja Schneider / Knjiga Meki uvez
common.buy 26.68 €
Peligro Woodward / Audio knjiga MP3
common.buy 13.94 €
Chiharu Shiota Jahn / Knjiga Tvrdi uvez
common.buy 43.83 €
Spotkania z fizyką NEON. Szkoła podstawowa klasa 8. Podręcznik. Nowa Edycja 2024-2026 Grażyna Francuz-Ornat / Knjiga Meki uvez
common.buy 13.74 €
Subaru Impreza WRC - The Autobiography of P8 WRC Ian Wagstaff / Knjiga Tvrdi uvez
common.buy 81.36 €
Servisní stanice Motor Oil pro auta / Igra/Igračka Igračka
common.buy 12.33 €
Pripremamo
HISTORIAS DEL VIEJO CHAMARTIN BARCALA / Knjiga Knjiga
common.buy 21.06 €
El aborto / Knjiga Meki uvez
common.buy 10.32 €
Emilia Galotti. Textausgabe mit Kommentar und Materialien Thorsten Krause / Knjiga Meki uvez
common.buy 6.51 €
Graz Geschichte Und Topographie Der Stadt Und Ihrer Umgebung (1875) Franz Ilwof / Knjiga Meki uvez
common.buy 39.02 €
Il Fratellino Di Celeste Marisa Bragato / Knjiga Meki uvez
common.buy 9.72 €
Automotives Googiedesign / Gestern - Heute - Morgen Steinmetz / Knjiga Meki uvez
common.buy 26.98 €

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
Ewa Kasp
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
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

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
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 poklonoprimca

Moglo bi vas zanimati i

Pripremamo
Unauthorised Harry Potter Companion Colin Duriez / Knjiga Meki uvez
common.buy 12.83 €
Upper Columbia Basin Network Science Communication Plan, Version 1.0: Natural Resource Report NPS/UCBN/NRR?2009/140 Jannis L Jocius / Knjiga Meki uvez
common.buy 14.84 €
Top
Fifty Shades of Crimson Tomsett / Knjiga Meki uvez
common.buy 23.47 €
Circus of Wonders ELIZABETH MACNEAL / Knjiga Meki uvez
common.buy 16.85 €
Building Bailey's: Contemporary Western Romance Katie Wyatt / Knjiga Meki uvez
common.buy 9.62 €
This Is Mexico City Abby Clawson Low / Knjiga Meki uvez
common.buy 16.74 €
Better Web Typography for a Better Web Matej Latin / Knjiga Meki uvez
common.buy 30.89 €
Product Chain Analysis of Mostly Over Exploited Timber Tree Species Ibrahim Hussein / Knjiga Meki uvez
common.buy 29.99 €
North Carolina: A Photographic Journey Emily Drabanski / Knjiga Meki uvez
common.buy 12.13 €
THE HOME BOOK OF MODERN MEDICINE: A FAMI JOHN HARVEY KELLOGG / Knjiga Tvrdi uvez
common.buy 64.00 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?