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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Thomas Ball
Libristo-code: 01562480
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2006
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aide... Volledige beschrijving
? points 249 b
102.67 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Aféra Granvillových Una-Mary Parker / Boek Gebonden (paperback)
common.buy 13.00 €
Langenscheidt Die kulinarische Sprachreise Italienisch / Boek Gebonden (harde band)
common.buy 15.22 €
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Boek Gebonden (paperback)
common.buy 26.42 €
Cherry Bomb Tyler / Audio Audio cd
common.buy 15.22 €
FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Boek Gebonden (paperback)
common.buy 54.15 €
Induzione della fioritura nel pomelo mediante paclobutrazolo Mary Tess Mandantes / Boek Gebonden (paperback)
common.buy 35.60 €
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Boek Gebonden (paperback)
common.buy 16.03 €
La reina sola JORGE MOLIST / Boek Gebonden (paperback)
common.buy 13.00 €
Microfinance: Maitriser les activités des institutions de microfinance Kawele Kouadio / Boek Gebonden (paperback)
common.buy 14.82 €
Patient Scheidungsfamilie Helmuth Figdor / Boek Gebonden (paperback)
common.buy 31.16 €
Amazing Spider-Man Návrat ke kořenům Nick Spencer / Boek Gebonden (paperback)
common.buy 11.99 €
PREMIER DICTIONNAIRE DE BEBE : COULEURS ET FORMES Bout'chou / Boek Gebonden (paperback)
common.buy 5.94 €
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Boek Gebonden (paperback)
common.buy 16.13 €
Au Coeur De L'Afrique, 1868-1871 V2: Voyages Et Decouvertes Dans Les Regions Inexplorees De L'Afrique Centrale (1875) Georg August Schweinfurth / Boek Gebonden (paperback)
common.buy 38.12 €
Nerudův verš Jakub Říha / Boek Gebonden (paperback)
common.buy 5.34 €
Verordnung über die Berufsausbildung zum Brenner/zur Brennerin Antiphon Verlag / Boek Gebonden (paperback)
common.buy 11.89 €
Lieder Oswalds von Wolkenstein Burghart Wachinger / Boek Gebonden (paperback)
common.buy 22.28 €
Etude Sur La Restauration de la Levre Inferieure, Nouveau Procede de M. Letievant BERNARD-A / Boek Gebonden (paperback)
common.buy 15.52 €
Juegos de ingenio John Katzenbach / Boek Gebonden (paperback)
common.buy 15.02 €
El Rubius 100% no oficial MARTINA REIS / Boek Gebonden (paperback)
common.buy 13.91 €
Organizacja procesowa Piotr Grajewski / Boek Gebonden (paperback)
common.buy 14.51 €
Auftakte Uwe David / Boek Gebonden (paperback)
common.buy 17.84 €

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.§The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

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 Thomas Ball, Robert B. Jones
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2006
Aantal pagina's 564
EAN 9783540374060
ISBN 354037406X
Libristo-code 01562480
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1780
Afmetingen 155 x 235 x 32

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
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

Managing Cybersecurity Risk Jonathan Reuvid / Boek Gebonden (paperback)
common.buy 45.18 €
Starling of the White House Edmund W. Starling / Boek Gebonden (paperback)
common.buy 28.64 €
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Boek Gebonden (paperback)
common.buy 33.98 €
Dylan Thomas Rushworth M. Kidder / Boek Gebonden (harde band)
common.buy 120.42 €
Inspector Jack Carter Empire Rising Mark Woodcraft / Boek Gebonden (paperback)
common.buy 16.33 €
Intelligent Microgrid Management and EV Control Under Uncertainties in Smart Grid Ran Wang / Boek Gebonden (harde band)
common.buy 123.15 €
Mae Madden MARY MURDOCH MASON / Boek Gebonden (harde band)
common.buy 30.65 €
Assessment of Native Species and Ungulate Grazing in the Southwest: Terrestrial Wildlife United States Department of Agriculture / Boek Gebonden (paperback)
common.buy 15.73 €
Mathematical Methods for Physics and Engineering Blennow / Boek Gebonden (paperback)
common.buy 174.29 €
Positive Rules! Jennifer L. Simmonds / Boek Gebonden (paperback)
common.buy 25.41 €
TOP
Short History of England Simon (Columnist) Jenkins / Boek Gebonden (paperback)
common.buy 11.49 €
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Boek Gebonden (paperback)
common.buy 13.91 €
WILLOWS AND OTHER STORIES Algernon Blackwood / Boek Gebonden (harde band)
common.buy 74.33 €
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Boek Gebonden (paperback)
common.buy 26.82 €
Brooklyn Vintage Ads Vol 16 Robert a. Henriksen / Boek Gebonden (paperback)
common.buy 21.07 €
Quality management and the strategic plan / Boek Gebonden (paperback)
common.buy 33.78 €
Five Years On The Inside Fisher Garth D. Fisher / Boek Gebonden (paperback)
common.buy 9.37 €
Legacy of Pope Benedict XVI Charles A. Coulombe / E-book Adobe ePub DRM
common.buy 9.77 €
TOP
What Went Wrong With Capitalism Ruchir Sharma / Boek Gebonden (harde band)
common.buy 26.32 €
Applications of Palynology in Stratigraphy and Climate Studies Bandana Samant / E-book Adobe ePub DRM
common.buy 161.58 €
Nieuw
Keeping Contact – Jewish Cultural Initiatives Across Cold War Borders Rebekah Klein–pejsová / Boek Gebonden (harde band)
common.buy 136.76 €
Power in Business and the State Frank Bealey / Boek Gebonden (harde band)
common.buy 147.46 €
Katherine Mansfield and World War One Gerri Kimber / Boek Gebonden (harde band)
common.buy 118.30 €
Revision Notes for the Respiratory Medicine Specialty Certificate Examination Caroline (Specialty Trainee in Respiratory Medicine; North West Thames Rotation) Patterson / Boek Gebonden (paperback)
common.buy 100.35 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?