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

19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Werner Damm
Libristo-code: 01568801
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2007
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aide... Volledige beschrijving
? points 125 b
51.66 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

FINANZAS PARA CHICAS CON PRISAS GERONIMO / Boek Gebonden (paperback)
common.buy 13.34 €
39-поверховий будинок на деревi Andy Griffiths / Boek Gebonden (harde band)
common.buy 12.93 €
Le voyage de l'âme entre deux vies - transferts de conscience, réincarnation et immortalité Baudouin / Boek Gebonden (paperback)
common.buy 22.84 €
Georges Bernanos, la colère et la grâce François Angelier / Boek Gebonden (paperback)
common.buy 30.93 €
Sturmhöhe Grete Rambach / Boek Gebonden (paperback)
common.buy 12.63 €
Giorni di guerra. Russia e Ucraina, il mondo a pezzi Toni Capuozzo / Boek Gebonden (paperback)
common.buy 25.17 €
Die globale Perspektive Lower Class Magazine / Boek Gebonden (paperback)
common.buy 21.53 €
Mein Anziehpuppen-Stickerbuch: Ostern Fiona Watt / Boek Gebonden (paperback)
common.buy 7.27 €
Effetto della Passiflora Incarnata 6c sull'ansia Agustin Antonio Corona Zavala / Boek Gebonden (paperback)
common.buy 35.68 €
Nieuw
Die fromme Luge Aliza Korten / E-book Adobe ePub DRM
common.buy 3.83 €
Sojusze. Thorgal Kriss de Valnor. Tom 4 wyd. 2023 Giulio De Vita / Boek Gebonden (harde band)
common.buy 11.11 €
Au fil du rail Ted Conover / Boek Gebonden (paperback)
common.buy 16.47 €
Severská mytologie II.-III. Neil Gaiman / Boek Blad
common.buy 35.89 €
Robinson Crusoe Daniel Defoe / E-book Adobe ePub DRM
common.buy 4.74 €
Untersuchung der Probleme bei der Nutzung von Transportbändern Salah Ait Idir / Boek Gebonden (paperback)
common.buy 54.29 €
Meno je váš osud Camila Karolinss / Boek Gebonden (paperback)
common.buy 5.45 €
Alpenrosen aus den Dolomiten die Ladiner / Audio Audio cd
common.buy 17.89 €
Diabetes v tabulkách Tomáš Edelsberger / Boek Gebonden (harde band)
common.buy 28.40 €
Tajný spolek Škorpiona Daniel Sohr / Boek Gebonden (harde band)
common.buy 7.88 €
Borůvková kuchařka Jaroslav Vašák / Boek Gebonden (paperback)
common.buy 4.94 €
Bohdan Lacina Jiří Hlušička / Boek Gebonden (harde band)
common.buy 61.37 €
Adelige Moderne Tatjana Tönsmeyer / Boek Gebonden (harde band)
common.buy 87.35 €
Unternehmensbewertung im Rahmen von Fairness Opinions - eine kritische Analyse Tobias Zacholowsky / Boek Gebonden (paperback)
common.buy 38.31 €
Ostasien bis 1800 Dieter Kuhn / Boek Gebonden (harde band)
common.buy 25.88 €

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification, CAV 2007, held in Berlin, Germany July 2007 in conjunction with the 14th Workshop on Model Checking Software, SPIN 2007.§The 33 revised full papers presented together with 14 tool papers and 3 invited papers and 4 invited tutorials were carefully reviewed and selected from 134 regular paper and 39 tool paper submissions. All current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems are addressed. The papers are organized in topical sections on compositionality, verification process, timed synthesis and games, inifinite state verification, tool environments, shapes, concurrent programm verification, reactive designs, parallelisation, constraints and decisions, probabilistic verification, abstraction, assume-guarantee reasoning, hybrid systems, program analysis, as well as SAT and decision procedures.

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 Werner Damm, Holger Hermanns
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2007
Aantal pagina's 562
EAN 9783540733676
ISBN 3540733671
Libristo-code 01568801
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 884
Afmetingen 155 x 235 x 32

Categorieën

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

Algebraic Varieties M. Baldassarri / Boek Gebonden (paperback)
common.buy 51.66 €
T Is for Texas Maria Kernahan / Boek Gebonden (harde band)
common.buy 15.76 €
Sun in Your Eyes SHAPIRO DEBORAH / Boek Gebonden (paperback)
common.buy 13.34 €
The Transformation of Intergovernmental Satellite Organisations: Policy and Legal Perspectives Patricia McCormick / Boek Gebonden (harde band)
common.buy 218.60 €
Emotional Intelligence 2.0: A comprehensive Guide to Boosting your Emotional Intelligence, Mastering social skills, Understanding EQ and IQ [Using Derek Warren / Boek Gebonden (paperback)
common.buy 10.30 €
Requisition For J. a. Devereaux / Boek Gebonden (paperback)
common.buy 11.21 €
The Gospel-Centered Life: Study Guide with Leader's Notes Robert H. Thune / Boek Gebonden (paperback)
common.buy 14.25 €
More Than One Right Answer Leonard E. Stokes / Boek Gebonden (paperback)
common.buy 142.16 €
The Goatnappers Rosa Jordan / Boek Gebonden (harde band)
common.buy 16.98 €
Spirits of the Border: The History and Mystery of Ft. Bliss, Texas Ken Hudnall / Boek Gebonden (paperback)
common.buy 13.54 €
The Sinking of the Titanic Matt Doeden / Audio Audio cd
common.buy 23.95 €
God And The Most Holy Trinity Frederick William Faber / Boek Gebonden (harde band)
common.buy 36.39 €
Britain, Ost- and Deutschlandpolitik, and the CSCE (1955-1975) Luca Ratti / Boek Gebonden (paperback)
common.buy 102.22 €
Introduction to Statistical Analysis of Laboratory Data Alfred Bartolucci / Boek Gebonden (harde band)
common.buy 128.00 €
Ruthless Gods Emily A. Duncan / Boek Gebonden (paperback)
common.buy 12.83 €
Learning to Learn with Integrative Learning Technologies (ILT) Nada Dabbagh / Boek Gebonden (harde band)
common.buy 109.90 €
I Know I Need to Change, But How? Janis Ericson Cht / Boek Gebonden (paperback)
common.buy 18.70 €
Cancer John Roberts / Boek Gebonden (harde band)
common.buy 32.65 €
One Hour Dress-17 Easy-to-Sew Vintage Dress Designs From 1924 (Book 1) MARY BROOKS PICKEN / Boek Gebonden (paperback)
common.buy 11.72 €
Man Who Made Mark Twain Famous Cappy McGarr / E-book Adobe ePub DRM
common.buy 18.39 €
Inquisitor in the Hat Shop BARBIERATO / Boek Gebonden (paperback)
common.buy 71.07 €
Stealing Our Democracy Don Siegelman / E-book Adobe ePub DRM
common.buy 17.18 €
Corrective Reading Decoding Level B1, Fluency Program Guide Siegfried Engelmann / Boek Gebonden (paperback)
common.buy 84.32 €
A City Without Walls Laura Smith / Boek Gebonden (paperback)
common.buy 10.30 €

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?