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

Retourneren binnen 30 dagen

Klanten kochten ook

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Boek Gebonden (paperback)
common.buy 24.85 €
Arkham Horror: Lovecraft Letter Zman / Spel/speelgoed Spel
common.buy 17.47 €
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Boek Gebonden (paperback)
common.buy 34.25 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Boek Gebonden (paperback)
common.buy 25.15 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 153.39 €
Tierna obsesion Marisa Estrada Barquet / Boek Gebonden (paperback)
common.buy 12.12 €
Patron Oro Calderon Ivan Calderon / Boek Gebonden (paperback)
common.buy 13.03 €
Luz Herrera Goya / Boek Gebonden (paperback)
common.buy 11.91 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Boek Gebonden (paperback)
common.buy 17.88 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Boek Gebonden (paperback)
common.buy 9.19 €
Una storia dovunque Prezioso Sclano / Boek Gebonden (paperback)
common.buy 15.35 €
Ley de Contratos / Boek Gebonden (paperback)
common.buy 27.07 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Boek Gebonden (paperback)
common.buy 57.79 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio cd
common.buy 12.62 €
Nuove storie d'ogni colore Emilio De Marchi / Boek Gebonden (paperback)
common.buy 13.53 €
Mehrkomponentenvertrage Benedikt Weisser / Boek Gebonden (paperback)
common.buy 33.94 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Boek Gebonden (harde band)
common.buy 26.87 €
Un éternel prisonnier Dominique Henry / Boek Gebonden (paperback)
common.buy 19.80 €
AEsthetik nach Wittgenstein Yves Bossart / Boek Gebonden (harde band)
common.buy 173.50 €
Primiracconti Luisa Brisi / Boek Gebonden (paperback)
common.buy 6.05 €

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

Embedded Software and Systems Man Lin / Boek Gebonden (paperback)
common.buy 119.54 €
Advances in Exception Handling Techniques Alexander Romanovsky / Boek Gebonden (paperback)
common.buy 51.63 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Boek Gebonden (paperback)
common.buy 31.62 €
Tessili Rogue Robin Stephen / Boek Gebonden (paperback)
common.buy 9.39 €
Impinging Streams Sakamon Devahastin / Boek Gebonden (paperback)
common.buy 62.95 €
Pennycomequicks. a Novel. Sabine Baring-Gould / Boek Gebonden (paperback)
common.buy 22.93 €
Clasicos Modernos ANA MARIA MATUTE / Boek Gebonden (paperback)
common.buy 12.72 €
Getting to Grips with BIM Graham Paterson / Boek Gebonden (paperback)
common.buy 75.17 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Boek Gebonden (paperback)
common.buy 16.66 €
Degree Gradation of Verbs Jens Fleischhauer / Boek Gebonden (paperback)
common.buy 39.70 €
Extremism And Reformation David Myatt / Boek Gebonden (paperback)
common.buy 7.67 €
Chinese Culture in Globalization Rugang Lu / Boek Gebonden (paperback)
common.buy 52.54 €
The Lay of Lirazel Stephen R Babb / Boek Gebonden (paperback)
common.buy 13.03 €
Talks James E. Potter / Boek Gebonden (paperback)
common.buy 22.02 €
Speed of Light and the Simplicity RICHARD CLOUGH / Boek Gebonden (harde band)
common.buy 29.80 €
Belief and Evangelism DOUGLAS VICKERS / Boek Gebonden (harde band)
common.buy 32.63 €
TOP
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Boek Ringband
common.buy 21.62 €
Running the Show Gill / Boek Gebonden (paperback)
common.buy 62.14 €
Narrating the Rise of Big Business in the USA Anne Mayhew / Boek Gebonden (harde band)
common.buy 245.14 €
Mathematical Puzzles Peter Winkler / Boek Gebonden (paperback)
common.buy 36.77 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Boek Gebonden (paperback)
common.buy 13.03 €
Cat Got Your Tongue? SHAW HANNAH / Boek Gebonden (harde band)
common.buy 12.22 €
Selections with Key Clare West / Boek Gebonden (paperback)
common.buy 26.47 €
Grammar and Style Michael Dummett / Boek Gebonden (paperback)
common.buy 33.14 €

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