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

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Natasha Sharygina
Libristo-code: 02075327
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Volledige beschrijving
? points 249 b
102.99 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

I ja sam tu, uz vas Smriti Halls / Boek Gebonden (harde band)
common.buy 12.33 €
Vie Abregee Du T. H. Frere Polycarpe / Boek Gebonden (paperback)
common.buy 15.57 €
La société patriarcale face à la résistance des femmes Resta / Boek Gebonden (paperback)
common.buy 34.49 €
Kumulyativnye Zaryady Oleg Minin / Boek Gebonden (paperback)
common.buy 80.02 €
Lebensfunken Akin Yildiz / Boek Gebonden (paperback)
common.buy 10.71 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Boek Gebonden (paperback)
common.buy 16.18 €
La enzima para rejuvenecer HIROMI SHINYA / Boek Gebonden (paperback)
common.buy 12.94 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Boek Gebonden (paperback)
common.buy 42.89 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Boek Gebonden (paperback)
common.buy 15.57 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Boek Gebonden (harde band)
common.buy 30.85 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Boek Gebonden (paperback)
common.buy 18.00 €
Die ewige Philosophie Aldous Huxley / Boek Gebonden (paperback)
common.buy 19.72 €
Tatort Ägypten Arthur Conan Doyle / Boek Gebonden (paperback)
common.buy 19.82 €
Wordt verwacht
Gittertiere 1. Bd.1 Heidi Schär / Boek Gebonden (paperback)
common.buy 27.92 €
Wordt verwacht
Vegetative Physiologie Gerhard Heldmaier / Boek Gebonden (harde band)
common.buy 52.91 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Boek Gebonden (paperback)
common.buy 94.79 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 1015
EAN 9783642397981
ISBN 3642397980
Libristo-code 02075327
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1539
Afmetingen 155 x 235 x 56

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Debates in Citizenship Education James Arthur / Boek Gebonden (paperback)
common.buy 64.44 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Boek Gebonden (paperback)
common.buy 10.31 €
Cambridge Companion to the Musical William A. Everett / Boek Gebonden (paperback)
common.buy 45.82 €
The Mammals of Israel Walter W. Ferguson / Boek Gebonden (paperback)
common.buy 28.72 €
Spider Tapestries Mike Allen / Boek Gebonden (paperback)
common.buy 15.57 €
Glyph* Shiro Nishimoto / Boek Gebonden (harde band)
common.buy 22.35 €
Khobar Towers Air Force History and Museums Program / Boek Gebonden (paperback)
common.buy 30.55 €
Dirty Kiss Rhys Ford / Boek Gebonden (paperback)
common.buy 14.76 €
The Passaic Flood of 1903 Marshall Ora Leighton / Boek Gebonden (paperback)
common.buy 16.79 €
Defending Objectivity Margaret Archer / Boek Gebonden (harde band)
common.buy 209.13 €
Compagnie Irlandaise M. W. Kirwan / Boek Gebonden (paperback)
common.buy 24.17 €
Strategic Networking in Small High Tech Firms Mette Monsted / Boek Gebonden (paperback)
common.buy 37.53 €
Wizards' Country DAPHNE ROOKE / Boek Gebonden (paperback)
common.buy 13.95 €
Households as Corporate Firms Krislert Samphantharak / Boek Gebonden (paperback)
common.buy 41.78 €
Exploring Piano Classics Technique Alfred Publishing / Boek Gebonden (paperback)
common.buy 19.01 €
The House of Vanity Hamza Laaouamri / Boek Gebonden (paperback)
common.buy 15.47 €
Inequality in the Digital Economy Andrew White / Boek Gebonden (paperback)
common.buy 138.10 €
Impressive Robert Klanten / Boek Gebonden (paperback)
common.buy 48.25 €
Wordt verwacht Nieuw
The Application of GIS Technologies in the Roman Period Fernandez / Boek Gebonden (paperback)
common.buy 39.25 €
Decentralization and Development Partnership Fumihiko Saito / Boek Gebonden (paperback)
common.buy 51.69 €
Parameter Setting Thomas Roeper / Boek Gebonden (harde band)
common.buy 183.63 €
Environmental History of Medieval Europe Richard Hoffmann / Boek Gebonden (paperback)
common.buy 45.12 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Boek Gebonden (paperback)
common.buy 144.37 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Boek Gebonden (harde band)
common.buy 114.52 €

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