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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Ed Brinksma
Libristo-code: 01564506
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Volledige beschrijving
? points 249 b
102.90 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Boek Gebonden (paperback)
common.buy 7.37 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Boek Gebonden (paperback)
common.buy 37.39 €
20.000 leguas de viaje submarino Jules Verne / Boek Gebonden (harde band)
common.buy 15.86 €
Magdeburger Drogenmarkt Sven Paschke / Boek Gebonden (paperback)
common.buy 33.96 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Spel/speelgoed Spel
common.buy 42.45 €
L'orchestre des animaux joue Vivaldi - dès 3 ans Sam Taplin / Boek Boek
common.buy 18.09 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Boek Gebonden (paperback)
common.buy 30.92 €
Wordt verwacht
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Boek Gebonden (harde band)
common.buy 24.76 €
Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober / Boek Gebonden (paperback)
common.buy 55.09 €
O Livro de Metatron - O Anjo da Presença Max Stone / Boek Gebonden (paperback)
common.buy 15.56 €
¡De vacaciones! PETER KNORR / Boek Gebonden (paperback)
common.buy 16.87 €
Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann / Boek Gebonden (paperback)
common.buy 19.30 €
Tiere und ihr Zuhause Claudia Boldt / Spel/speelgoed Spel
common.buy 14.24 €
Wordt verwacht
Čeho bychom se měli obávat? John Brockman / Boek Gebonden (paperback)
common.buy 12.12 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Boek Gebonden (paperback)
common.buy 70.25 €
Science Fiction Stories Jürgen Schnaible / Boek Gebonden (paperback)
common.buy 35.58 €
Pomsta za neveru Inéz Melichová / Boek Gebonden (harde band)
common.buy 10.40 €
Hayaller Gemisi Koray Avci cakman / Boek Gebonden (paperback)
common.buy 7.27 €
Lean Management Andreas Kammel / Boek Gebonden (paperback)
common.buy 42.45 €
Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Boek Gebonden (paperback)
common.buy 29.21 €
Gipfel der Götter. Bd.1 Jiro Taniguchi / Boek Gebonden (paperback)
common.buy 16.06 €
Abenteuer des schwarzen Gerard 2 Karl May / Boek Gebonden (harde band)
common.buy 26.78 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Boek Gebonden (harde band)
common.buy 22.33 €
Journal Martin du Gard / Boek Gebonden (harde band)
common.buy 70.05 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2002
Aantal pagina's 362
EAN 9783540439974
ISBN 3540439978
Libristo-code 01564506
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 2010
Afmetingen 155 x 233 x 36

Categorieën

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

Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Boek Gebonden (paperback)
common.buy 199.25 €
Let's Find Momo! Andrew Knapp / Boek Leporello (harmonicaboek)
common.buy 7.88 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Boek Gebonden (harde band)
common.buy 39.21 €
SAXON MATH COURSE 1 Saxpub / Boek Gebonden (harde band)
common.buy 210.67 €
Taste of Home How Do I Make...? Editors at Taste of Home / Boek Gebonden (paperback)
common.buy 16.67 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Boek Gebonden (paperback)
common.buy 17.48 €
Under the Gaslight Augustin Daly / Boek Gebonden (paperback)
common.buy 12.63 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Boek Gebonden (paperback)
common.buy 10.30 €
Cheerleading Kaitlyn Duling / Boek Gebonden (harde band)
common.buy 33.05 €
Pediatric Dysphagia Julina Ongkasuwan / Boek Gebonden (harde band)
common.buy 140.92 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Boek Gebonden (paperback)
common.buy 12.12 €
Housing in Taiwan William D.H. Li / Boek Gebonden (harde band)
common.buy 172.66 €
Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Boek Gebonden (paperback)
common.buy 13.94 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Boek Gebonden (paperback)
common.buy 29.11 €
Hawaiian Chihuahua Ukulele Tabs / Boek Gebonden (paperback)
common.buy 9.39 €
This Is Not A Book Keri Smith / Boek Gebonden (paperback)
common.buy 18.09 €
Sunkisses Larsee H Mac / Boek Gebonden (paperback)
common.buy 14.85 €
TOP
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Boek Gebonden (harde band)
common.buy 20.82 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Boek Gebonden (paperback)
common.buy 27.79 €
Epic Drives of the World 1 Lonely planet eng / Boek Gebonden (paperback)
common.buy 15.96 €
Inspired Winsome James / Boek Gebonden (paperback)
common.buy 18.29 €
LITTLE BUSINESS BOOKS CHANGE FRANKLIN WATTS / Boek Gebonden (paperback)
common.buy 11.72 €
Torchwood The Men Who Sold The World Guy Adams / Luisterboek MP3
common.buy 7.98 €
Crime for the Books Kate Young / E-book Adobe ePub DRM
common.buy 17.88 €

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?