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

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Nicolas Halbwachs
Libristo-code: 05274969
Uitgeverij Springer, Berlin, november 1998
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Volledige beschrijving
? points 125 b
51.78 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Neurodermitis bewältigen Ulrich Stangier / Boek Gebonden (paperback)
common.buy 51.98 €
Herbst David Moody / Boek Gebonden (paperback)
common.buy 15.19 €
MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André / Boek Gebonden (paperback)
common.buy 26.85 €
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Boek Gebonden (paperback)
common.buy 16.81 €
No me llames loca Girona / Luisterboek MP3
common.buy 11.14 €
Byłam kochanką arabskich szejków Laila Shukri / Boek Gebonden (paperback)
common.buy 9.82 €
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Boek Gebonden (harde band)
common.buy 14.18 €
Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян / Boek Gebonden (harde band)
common.buy 33.13 €
Столетняя война Э. Перруа / Boek Gebonden (harde band)
common.buy 33.13 €
Diccionario de la lengua española / Boek Gebonden (paperback)
common.buy 10.33 €
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Boek binding.
common.buy 177.14 €
Aycha ou Le retour d'Elle - roman Haggard Boek Gebonden (paperback)
common.buy 24.72 €
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Spel/speelgoed Spel
common.buy 47.52 €
La obra gruesa : unos apuntes de construcción Mañá Reixach / Boek Gebonden (paperback)
common.buy 31.51 €
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Boek Gebonden (paperback)
common.buy 35.36 €
Un nuevo comienzo Joel Osteen / Boek Gebonden (paperback)
common.buy 17.22 €
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Boek Gebonden (paperback)
common.buy 26.04 €
Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3 / Boek Blad
common.buy 10.02 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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 Nicolas Halbwachs, Doron Peled
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1999
Aantal pagina's 506
EAN 9783540662020
ISBN 3540662022
Libristo-code 05274969
Uitgeverij Springer, Berlin
Gewicht 670
Afmetingen 156 x 234 x 26

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
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

Geometry and Analysis on Manifolds Toshikazu Sunada / Boek Gebonden (paperback)
common.buy 36.27 €
El Hacho Sean Campbell / E-book Adobe ePub DRM
common.buy 2.42 €
Manual for Cleaning Women Lucia Berlin / Boek Gebonden (paperback)
common.buy 15.80 €
Literature Lost John M. Ellis / Boek Gebonden (paperback)
common.buy 39.82 €
Within Reason: Rationality and Human Behavior Donald Calne / Boek Gebonden (paperback)
common.buy 18.74 €
100 Families Samuel Willard Crompton / Boek Gebonden (paperback)
common.buy 8.40 €
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Boek Gebonden (harde band)
common.buy 21.68 €
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Boek Gebonden (harde band)
common.buy 33.64 €
Word Detective John Simpson / Boek Gebonden (paperback)
common.buy 15.80 €
The Wonderful Wizard of Oz Victor Tavares / Boek Gebonden (harde band)
common.buy 19.45 €
Life In Its Rawest Form Qiana S Hicks / Boek Gebonden (paperback)
common.buy 13.57 €
Essential Reproduction, 8th Edition Martin H. Johnson / Boek Gebonden (paperback)
common.buy 76.40 €
The Whig Party: A Short-Lived Movement with a Long Legacy In60learning / Boek Gebonden (paperback)
common.buy 8.60 €
Art and Meaning of Magic Israel Regardie / Boek Gebonden (paperback)
common.buy 30.60 €
Ted Bundy: Conversations with a Killer: The Death Row Interviews Volume 1 Stephen G. Michaud / Boek Gebonden (paperback)
common.buy 17.62 €
Tetrastatum Richard / Boek Gebonden (paperback)
common.buy 20.36 €
Colorful Blessings Coloring Book: 20 Colorful Blessing Quote Mandala Coloring Pages For Adults Crystal Coloring Books / Boek Gebonden (paperback)
common.buy 9.52 €
Cold Hands Cool Heart Richard H. Dieckhoff Jr / Boek Gebonden (paperback)
common.buy 13.77 €
Home Thoughts for Mothers and Mother's Meetings (1869) Jane Ellice Hopkins / Boek Gebonden (paperback)
common.buy 23.10 €
Cease Buzzer!: Life as a U.S. Navy EA-6B Pilot in the Era of Top Gun J.P. Springett / Boek Gebonden (harde band)
common.buy 29.89 €
The Wind in the Willows Kate Hindley / Boek Gebonden (harde band)
common.buy 19.45 €
Homer, for Beginners. Iliad, Book 1-3, With Engl. Notes by T.K. Arnold Homerus / Boek Gebonden (harde band)
common.buy 30.80 €
Place Value Penny Dowdy / Boek Gebonden (paperback)
common.buy 8.71 €
Juniper QFX5100 Series Douglas Richard Hanks / Boek Gebonden (paperback)
common.buy 61.10 €

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?