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 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 €
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: 24027841
Nakladnici Springer Nature Switzerland AG, srpanj 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Knjiga Tvrdi uvez
common.buy 9.49 €
LP! JPEGMAFIA Audio Audio vinil
common.buy 49.91 €
Bleigewitter über Cinecitt? Christian Keßler / Knjiga Tvrdi uvez
common.buy 30.31 €
Hory zpívají Phan Que Mai Nguyen / Knjiga Tvrdi uvez
common.buy 15.25 €
KLIMATOLOGIE Émile H. Klouyo / Knjiga Meki uvez
common.buy 39.20 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Knjiga Meki uvez
common.buy 12.72 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Knjiga Meki uvez
common.buy 10.90 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Knjiga Meki uvez
common.buy 55.06 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Knjiga Meki uvez
common.buy 24.75 €
TEKIS GOMEZ / Knjiga Tvrdi uvez
common.buy 20.30 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Knjiga Meki uvez
common.buy 15.75 €
Morče Nataša Velenská / Knjiga Meki uvez
common.buy 6.46 €
Weg Ins Heim Trendb Uro / Knjiga Meki uvez
common.buy 37.78 €
Christoph Columbus Jakob Wassermann / Knjiga Meki uvez
common.buy 17.88 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Knjiga Meki uvez
common.buy 11.21 €
Secme Dünya Öyküleri Jorge Luis Borges / Knjiga Meki uvez
common.buy 16.16 €

This 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 toget

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 673
EAN 9783030255398
ISBN 3030255395
Libristo kod 24027841
Nakladnici Springer Nature Switzerland AG
Težina 1050
Dimenzije 155 x 235 x 38

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer networking & communications
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

Information Security Sokratis Katsikas / Knjiga Meki uvez
common.buy 77.19 €
Katherine Mansfield: New Directions GASSTON AIMEE / Knjiga Tvrdi uvez
common.buy 146.82 €
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Knjiga Meki uvez
common.buy 31.62 €
MEE Questions Book 2 Celebration Bar Review LLC / Knjiga Meki uvez
common.buy 92.25 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Knjiga Tvrdi uvez
common.buy 51.63 €
Do You Dream of Terra-Two? Temi Oh / Knjiga Meki uvez
common.buy 13.53 €
Feasibility Study Majura Jackson G. Majura / Knjiga Meki uvez
common.buy 36.27 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Knjiga Meki uvez
common.buy 205.53 €
Group FEIGEL LARA / Knjiga Meki uvez
common.buy 12.82 €
3 little sisters Radha Bamania / Knjiga Meki uvez
common.buy 10.30 €
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Knjiga Meki uvez
common.buy 15.75 €
Works of Ophra Behn Montague Summers / Knjiga Tvrdi uvez
common.buy 57.79 €
OLD AMERICAN SONGS II CHANT AARON COPLAND / Tiskanica Note
common.buy 4.94 €
The Wager and Other Stories Greg Sushinsky / Knjiga Meki uvez
common.buy 7.57 €
Top
Sex Differences in Intelligence Richard Lynn / Knjiga Meki uvez
common.buy 15.05 €
Novo
Privileged Brotherhoods Adam Howard / Knjiga Tvrdi uvez
common.buy 63.65 €
My Life Scott Ludwig / Knjiga Meki uvez
common.buy 22.32 €
Wolfsmund Kuji Mitsuhisa / Knjiga Meki uvez
common.buy 10.60 €
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Knjiga Tvrdi uvez
common.buy 182.19 €
Cast of Shadows Ronnie Maasz / Knjiga Tvrdi uvez
common.buy 101.85 €
Omaha Beach Adrian R. Lewis / Knjiga Meki uvez
common.buy 45.56 €
Adolescent and the Cartel H G Nowland / Knjiga Meki uvez
common.buy 12.82 €
BioShock: Rapture John Shirley / Knjiga Meki uvez
common.buy 16.46 €
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Knjiga Meki uvez
common.buy 15.05 €

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