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.49 €
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.78 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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 28.97 €
Tiere und ihr Zuhause Claudia Boldt / Spel/speelgoed Spel
common.buy 14.23 €
¡De vacaciones! PETER KNORR / Boek Gebonden (paperback)
common.buy 16.85 €
O Livro de Metatron - O Anjo da Presença Max Stone / Boek Gebonden (paperback)
common.buy 15.54 €
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.36 €
Čeho bychom se měli obávat? John Brockman / Boek Gebonden (paperback)
common.buy 12.11 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Boek Gebonden (paperback)
common.buy 34.12 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Spel/speelgoed Spel
common.buy 42.40 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Boek Gebonden (paperback)
common.buy 70.26 €
20.000 leguas de viaje submarino Jules Verne / Boek Gebonden (harde band)
common.buy 14.23 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Boek Gebonden (paperback)
common.buy 37.35 €
Lean Management Andreas Kammel / Boek Gebonden (paperback)
common.buy 42.40 €
Journal Martin du Gard / Boek Gebonden (harde band)
common.buy 70.16 €
Magdeburger Drogenmarkt Sven Paschke / Boek Gebonden (paperback)
common.buy 33.92 €
Cocktails Manuela Eder / Boek Gebonden (harde band)
common.buy 5.64 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Boek Gebonden (harde band)
common.buy 22.30 €
Abenteuer des schwarzen Gerard 2 Karl May / Boek Gebonden (harde band)
common.buy 26.75 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Boek Gebonden (harde band)
common.buy 24.73 €

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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Boek Gebonden (paperback)
common.buy 14.02 €
Introduction to Home Management Sandhya Rani Mohanty / Boek Gebonden (paperback)
common.buy 35.63 €
TOP
Let's Find Momo! Andrew Knapp / Boek Leporello (harmonicaboek)
common.buy 8.37 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Boek Gebonden (harde band)
common.buy 39.17 €
SAXON MATH COURSE 1 Saxpub / Boek Gebonden (harde band)
common.buy 211.62 €
Taste of Home How Do I Make...? Editors at Taste of Home / Boek Gebonden (paperback)
common.buy 16.65 €
Under the Gaslight Augustin Daly / Boek Gebonden (paperback)
common.buy 12.61 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Boek Gebonden (paperback)
common.buy 10.29 €
Cheerleading Kaitlyn Duling / Boek Gebonden (harde band)
common.buy 33.01 €
Pediatric Dysphagia Julina Ongkasuwan / Boek Gebonden (harde band)
common.buy 140.74 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Boek Gebonden (paperback)
common.buy 12.11 €
Housing in Taiwan William D.H. Li / Boek Gebonden (harde band)
common.buy 172.45 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Boek Gebonden (paperback)
common.buy 17.46 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Boek Gebonden (paperback)
common.buy 29.07 €
Hawaiian Chihuahua Ukulele Tabs / Boek Gebonden (paperback)
common.buy 9.38 €
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Boek Gebonden (paperback)
common.buy 199.00 €
Sunkisses Larsee H Mac / Boek Gebonden (paperback)
common.buy 14.83 €
TOP
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Boek Gebonden (harde band)
common.buy 20.79 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Boek Gebonden (paperback)
common.buy 27.76 €
TOP
Epic Drives of the World 1 Lonely planet eng / Boek Gebonden (paperback)
common.buy 16.04 €
Inspired Winsome James / Boek Gebonden (paperback)
common.buy 17.56 €
Crime for the Books Kate Young / E-book Adobe ePub DRM
common.buy 17.66 €
TOP
Eden of Witches Volume 1 YUMEJI / Boek Gebonden (paperback)
common.buy 10.79 €
Research Methods in Publishing and Book Studies Rachel Noorda / Boek Gebonden (paperback)
common.buy 58.86 €

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?