Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Isil Dillig
Koda Libristo: 24027841
Založba Springer Nature Switzerland AG, julij 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Knjiga Trda
common.buy 9.00 €
LP! JPEGMAFIA Zvok Zvočni vinil
common.buy 47.59 €
Bleigewitter über Cinecitt? Christian Keßler / Knjiga Trda
common.buy 28.45 €
Hory zpívají Phan Que Mai Nguyen / Knjiga Trda
common.buy 14.27 €
KLIMATOLOGIE Émile H. Klouyo / Knjiga Mehka
common.buy 36.96 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Knjiga Mehka
common.buy 11.94 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Knjiga Mehka
common.buy 10.32 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Knjiga Mehka
common.buy 52.05 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Knjiga Mehka
common.buy 23.79 €
TEKIS GOMEZ / Knjiga Trda
common.buy 19.33 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Knjiga Mehka
common.buy 15.08 €
Morče Nataša Velenská / Knjiga Mehka
common.buy 6.07 €
Weg Ins Heim Trendb Uro / Knjiga Mehka
common.buy 35.74 €
Christoph Columbus Jakob Wassermann / Knjiga Mehka
common.buy 16.90 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Knjiga Mehka
common.buy 10.62 €
Secme Dünya Öyküleri Jorge Luis Borges / Knjiga Mehka
common.buy 15.28 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor Isil Dillig, Serdar Tasiran
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2019
Število strani 673
EAN 9783030255398
ISBN 3030255395
Koda Libristo 24027841
Založba Springer Nature Switzerland AG
Teža 1050
Mere 155 x 235 x 38

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Information Security Sokratis Katsikas / Knjiga Mehka
common.buy 73.22 €
Katherine Mansfield: New Directions GASSTON AIMEE / Knjiga Trda
common.buy 147.15 €
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Knjiga Mehka
common.buy 30.07 €
MEE Questions Book 2 Celebration Bar Review LLC / Knjiga Mehka
common.buy 87.80 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Knjiga Trda
common.buy 48.91 €
Do You Dream of Terra-Two? Temi Oh / Knjiga Mehka
common.buy 12.75 €
Feasibility Study Majura Jackson G. Majura / Knjiga Mehka
common.buy 34.12 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Knjiga Mehka
common.buy 194.76 €
Group FEIGEL LARA / Knjiga Mehka
common.buy 12.85 €
3 little sisters Radha Bamania / Knjiga Mehka
common.buy 9.81 €
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Knjiga Mehka
common.buy 14.88 €
Works of Ophra Behn Montague Summers / Knjiga Trda
common.buy 54.58 €
OLD AMERICAN SONGS II CHANT AARON COPLAND / Tiskani izdelki Note
common.buy 4.75 €
The Wager and Other Stories Greg Sushinsky / Knjiga Mehka
common.buy 7.28 €
Top
Sex Differences in Intelligence Richard Lynn / Knjiga Mehka
common.buy 14.27 €
Novo
Privileged Brotherhoods Adam Howard / Knjiga Trda
common.buy 60.46 €
My Life Scott Ludwig / Knjiga Mehka
common.buy 21.06 €
Wolfsmund Kuji Mitsuhisa / Knjiga Mehka
common.buy 9.92 €
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Knjiga Trda
common.buy 159.81 €
Cast of Shadows Ronnie Maasz / Knjiga Trda
common.buy 102.08 €
Omaha Beach Adrian R. Lewis / Knjiga Mehka
common.buy 43.64 €
Adolescent and the Cartel H G Nowland / Knjiga Mehka
common.buy 12.04 €
BioShock: Rapture John Shirley / Knjiga Mehka
common.buy 15.49 €
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Knjiga Mehka
common.buy 14.07 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?