Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computer Aided Verification

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Isil Dillig
Libristo-code: 24027841
Uitgeverij Springer Nature Switzerland AG, juli 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Boek Gebonden (harde band)
common.buy 10.11 €
LP! JPEGMAFIA Audio Audio vinyl
common.buy 52.30 €
Bleigewitter über Cinecitt? Christian Keßler / Boek Gebonden (harde band)
common.buy 30.34 €
Hory zpívají Phan Que Mai Nguyen / Boek Gebonden (harde band)
common.buy 15.27 €
KLIMATOLOGIE Émile H. Klouyo / Boek Gebonden (paperback)
common.buy 39.25 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Boek Gebonden (paperback)
common.buy 12.74 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Boek Gebonden (paperback)
common.buy 10.92 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Boek Gebonden (paperback)
common.buy 16.48 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Boek Gebonden (paperback)
common.buy 55.13 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Boek Gebonden (paperback)
common.buy 25.79 €
TEKIS GOMEZ / Boek Gebonden (harde band)
common.buy 30.65 €
Morče Nataša Velenská / Boek Gebonden (paperback)
common.buy 6.47 €
Weg Ins Heim Trendb Uro / Boek Gebonden (paperback)
common.buy 37.83 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Boek Gebonden (paperback)
common.buy 11.22 €
Secme Dünya Öyküleri Jorge Luis Borges / Boek Gebonden (paperback)
common.buy 16.18 €
Christoph Columbus Jakob Wassermann / Boek Gebonden (paperback)
common.buy 17.90 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Aided Verification
Auteur Isil Dillig, Serdar Tasiran
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2019
Aantal pagina's 673
EAN 9783030255398
ISBN 3030255395
Libristo-code 24027841
Uitgeverij Springer Nature Switzerland AG
Gewicht 1050
Afmetingen 155 x 235 x 38

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computermodellering en -simulatie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Information Security Sokratis Katsikas / Boek Gebonden (paperback)
common.buy 77.29 €
3 little sisters Radha Bamania / Boek Gebonden (paperback)
common.buy 10.31 €
Nieuw
Privileged Brotherhoods Adam Howard / Boek Gebonden (harde band)
common.buy 70.41 €
TOP
Sex Differences in Intelligence Richard Lynn / Boek Gebonden (paperback)
common.buy 15.07 €
The Wager and Other Stories Greg Sushinsky / Boek Gebonden (paperback)
common.buy 7.58 €
OLD AMERICAN SONGS II CHANT AARON COPLAND / Drukwerk Bladmuziek
common.buy 5.15 €
Works of Ophra Behn Montague Summers / Boek Gebonden (harde band)
common.buy 57.86 €
TOP
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Boek Gebonden (paperback)
common.buy 15.77 €
Group FEIGEL LARA / Boek Gebonden (paperback)
common.buy 12.84 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Boek Gebonden (paperback)
common.buy 205.79 €
Feasibility Study Majura Jackson G. Majura / Boek Gebonden (paperback)
common.buy 36.31 €
Do You Dream of Terra-Two? Temi Oh / Boek Gebonden (paperback)
common.buy 13.55 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Boek Gebonden (harde band)
common.buy 51.69 €
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Boek Gebonden (paperback)
common.buy 31.66 €
My Life Scott Ludwig / Boek Gebonden (paperback)
common.buy 22.35 €
Wolfsmund Kuji Mitsuhisa / Boek Gebonden (paperback)
common.buy 10.61 €
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Boek Gebonden (harde band)
common.buy 191.52 €
Cast of Shadows Ronnie Maasz / Boek Gebonden (harde band)
common.buy 107.14 €
Omaha Beach Adrian R. Lewis / Boek Gebonden (paperback)
common.buy 45.62 €
Adolescent and the Cartel H G Nowland / Boek Gebonden (paperback)
common.buy 12.84 €
A Second Letter to the Right Reverend the Lord Bishop of London: On the Law of Marriage Within the Prohibited Degrees of Affinity: With a Letter Fro H R Reynolds / Boek Gebonden (paperback)
common.buy 14.86 €
BioShock: Rapture John Shirley / Boek Gebonden (paperback)
common.buy 16.48 €
Journey of a Lightworker White Light Publishing House / Boek Gebonden (paperback)
common.buy 15.77 €
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Boek Gebonden (paperback)
common.buy 15.07 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken