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

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Orna Grumberg
Libristo-code: 05274713
Uitgeverij Springer, Berlin, november 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Volledige beschrijving
? points 125 b
51.76 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Boek Gebonden (paperback)
common.buy 22.58 €
La lozanía de los inmortales Vera Portocarrero / Boek Gebonden (paperback)
common.buy 19.54 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 156.20 €
Luz Herrera Goya / Boek Gebonden (paperback)
common.buy 10.73 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Boek Gebonden (paperback)
common.buy 17.92 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Boek Gebonden (paperback)
common.buy 25.21 €
Patron Oro Calderon Ivan Calderon / Boek Gebonden (paperback)
common.buy 13.06 €
Arkham Horror: Lovecraft Letter Zman / Spel/speelgoed Spel
common.buy 17.52 €
Le Monde extérieur Duras / Boek Gebonden (paperback)
common.buy 19.54 €
Primiracconti Luisa Brisi / Boek Gebonden (paperback)
common.buy 5.66 €
Mathefreunde - Ausgabe Nord 2010 (Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen-Anhalt) - 4. Schuljahr Edmund Wallis / Boek Blad
common.buy 13.36 €
AEsthetik nach Wittgenstein Yves Bossart / Boek Gebonden (harde band)
common.buy 173.93 €
Un éternel prisonnier Dominique Henry / Boek Gebonden (paperback)
common.buy 19.85 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Boek Gebonden (harde band)
common.buy 22.78 €
Mehrkomponentenvertrage Benedikt Weisser / Boek Gebonden (paperback)
common.buy 34.03 €
Nuove storie d'ogni colore Emilio De Marchi / Boek Gebonden (paperback)
common.buy 13.56 €
Tierna obsesion Marisa Estrada Barquet / Boek Gebonden (paperback)
common.buy 12.15 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio cd
common.buy 12.65 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Boek Gebonden (paperback)
common.buy 57.94 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Boek Gebonden (paperback)
common.buy 9.21 €
The Boys Integral 03 GARTH ENNIS / Boek Gebonden (paperback)
common.buy 39.60 €
Very funny things : nueva comedia americana Violeta Kovacsics / Boek Gebonden (paperback)
common.buy 27.95 €
Ley de Contratos / Boek Gebonden (paperback)
common.buy 24.71 €
Phantasien uber die Kunst fur Freunde der Kunst Wilhelm Heinrich Wackenroder / Boek Gebonden (harde band)
common.buy 17.92 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Orna Grumberg
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1997
Aantal pagina's 492
EAN 9783540631668
ISBN 3540631666
Libristo-code 05274713
Uitgeverij Springer, Berlin
Gewicht 654
Afmetingen 156 x 234 x 25

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

Advances in Exception Handling Techniques Alexander Romanovsky / Boek Gebonden (paperback)
common.buy 51.76 €
Embedded Software and Systems Man Lin / Boek Gebonden (paperback)
common.buy 119.83 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Boek Gebonden (paperback)
common.buy 31.70 €
Talks James E. Potter / Boek Gebonden (paperback)
common.buy 22.07 €
Wordt verwacht
Information Processing and Management CAT 3 1999 Explanation of Criteria and Case Studies with Answers Jenny Little / Boek Gebonden (paperback)
common.buy 10.63 €
Getting to Grips with BIM Graham Paterson / Boek Gebonden (paperback)
common.buy 75.36 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Boek Gebonden (paperback)
common.buy 16.70 €
Degree Gradation of Verbs Jens Fleischhauer / Boek Gebonden (paperback)
common.buy 39.80 €
A Cook in the Kingdom Daniel Gonzalez / Boek Gebonden (paperback)
common.buy 13.06 €
Read All about the Human Body / Boek Gebonden (harde band)
common.buy 28.05 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Boek Gebonden (paperback)
common.buy 12.86 €
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Boek Gebonden (paperback)
common.buy 38.28 €
Tessili Rogue Robin Stephen / Boek Gebonden (paperback)
common.buy 9.41 €
The Lay of Lirazel Stephen R Babb / Boek Gebonden (paperback)
common.buy 13.06 €
Finding the Way Home Chris McFarland / Boek Gebonden (paperback)
common.buy 8.60 €
Clasicos Modernos ANA MARIA MATUTE / Boek Gebonden (paperback)
common.buy 12.75 €
A Simplified Interpretation of the Book of Revelation: Based Primarily on Two Modern Revelations Given to Us by Jesus in 1908 Walker Thomas / Boek Gebonden (paperback)
common.buy 23.90 €
Speed of Light and the Simplicity RICHARD CLOUGH / Boek Gebonden (harde band)
common.buy 29.87 €
Belief and Evangelism DOUGLAS VICKERS / Boek Gebonden (harde band)
common.buy 32.71 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Boek Gebonden (paperback)
common.buy 103.12 €
TOP
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Boek Ringband
common.buy 21.67 €
Running the Show Gill / Boek Gebonden (paperback)
common.buy 62.19 €
By the Moon Alyce Taylor / Boek Gebonden (paperback)
common.buy 16.30 €
Extremism And Reformation David Myatt / Boek Gebonden (paperback)
common.buy 7.69 €

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?