25 Years of Model Checking

Name: 25 Years of Model Checking
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567994
Price: 35.79 EUR
Availability: InStock
Author: Orna Grumberg
ISBN: 9783540698494

History, Achievements, Perspectives

Orna Grumberg

Helmut Veith

Sprache

Englisch

Buch Broschur

Libristo-Code: 01567994

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2008

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature... Vollständige Beschreibung

Libristo-Code: 01567994

88 b

35.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Camden Market - Ausgabe 2005 Otfried Börner

Hardcover

36.59 €

Competences 2eme edition Michèle Barféty

Broschur

27.79 €

Información que tienen las alumnas de segundo de la ESO de un colegio de Gran Canaria sobre el VPH y Guerra Santana

Broschur

12.49 €

Revue des cours littéraires de la France et de l'étranger Odysse Barot

Broschur

65.79 €

Aggie Morton reine du mystère MARTHE JOCELYN

Broschur

17.19 €

Zebra 2 Sonja Kargl

Blatt

17.49 €

Dívka ze země Venku 8 Nagabe

Broschur

6.79 €

A Sárkány felemelkedése George R. R. Martin

Hardcover

29.39 €

TERRA Erdkunde 1. Ausgabe Hessen Gymnasium

Hardcover

38.09 €

Analog + digital: Rechtschreibung an Stationen 3/4 Martina Knipp

binding.

24.99 €

O FILHO SECRETO DO GREGO; UM AMOR DE SEMPRE RIVERS

Buch

7.19 €

All that's left in the world. Ediz. italiana Erik J. Brown

Hardcover

15.29 €

Heine und die Nachwelt Geschichte seiner Wirkung in den deutschsprachigen Ländern Dietmar Goltschnigg

Hardcover

87.00 €

Archivio Per Lo Studio Delle Tradizioni Popolari, Volume 3 Giuseppe Pitr

Broschur

31.79 €

4. Jahrgang, Heft 1/2009. Übergang Schule - Hochschule

Broschur

7.50 €

Auswirkungen der Finanzkrise auf das Anlegerverhalten am Zertifikatemarkt Dietmar Pongratz

Broschur

47.95 €

Lambacher Schweizer Mathematik 8 - G8. Ausgabe Hessen

Blatt

28.69 €

Krabat von Otfried Preußler: Lektüreschlüssel mit Inhaltsangabe, Interpretation, Prüfungsaufgaben mit Lösungen, Lernglossar. (Reclam Lektüreschlüssel Eva-Maria Scholz

Broschur

7.40 €

Das Geheimnis der transzendenten Zahlen Fridtjof Toenniessen

Broschur

39.99 €

96 Hours - Taken 2, Extended Cut, 1 Blu-ray Olivier Megaton

Blu-ray

13.89 €

Dissertation Sur l'Application Du Vesicatoire Sur La Tete Dans Quelques Cas de Paralysie FOURNIER-L-G-S

Broschur

10.69 €

Komplexe Systeme lesen Georg Muller-Christ

Hardcover

74.99 €

Nicht perfekt aber verdammt nah dran Anke Obermeier

Broschur

9.99 €

A Deeper Understanding The War On Drugs

Audio CD

13.59 €

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name 25 Years of Model Checking

Autor Orna Grumberg, Helmut Veith

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 234

EAN 9783540698494

ISBN 3540698493

Libristo-Code 01567994

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 370

Abmessungen 156 x 235 x 15

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Database and Expert Systems Applications Kim V. Andersen

Broschur

97.89 €

Aeronautical Information Manual Federal Aviation Administration

Broschur

27.89 €

A Short History of Tractors in Ukrainian Marina Lewycka

Broschur

11.19 €

Afraid Jo Gibson

Broschur

11.39 €

Tap Tap Jan Burchett

Broschur

6.99 €

How to Make a Good Living in the Watch and Clock Repair Business Brad Isochronos

Broschur

10.69 €

The Doodle Comic Book Diary for Boys Art Journaling Sketchbooks

Broschur

15.59 €

Plain People TALTON WEBER

Broschur

18.09 €

And the Stars Were Burning Brightly DANIELLE JAWANDO

Broschur

7.49 €

Auditory Trauma, Protection, and Repair Jochen Schacht

Hardcover

152.59 €

American English Phonetics and Pronunciation Practice Carley

Broschur

46.69 €

Psychoanalysis and Art Donald Meltzer

Hardcover

213.29 €

Building Blunders: Learning from Bad Ideas Amie Jane Leavitt

Broschur

7.19 €

The Blood-Stained Benders; More Evil Than You Know: The Dreadful Deeds of the Bender Family Charles M. Province

Broschur

15.59 €

Bad, Dad, and Dangerous Bru Baker

Broschur

12.69 €

Just Haven't Met You Yet Sophie Cousens

Broschur

8.49 €

Neglected Arabia; no. 102 (july - sept.) Reformed Church in America Arabian M

Broschur

12.29 €

Transforming Research and Higher Education Institutions in the Next 75 Years: Proceedings of the 2022 Endless Frontier Symposium Policy And Global Affairs

Broschur

25.29 €

Intermediality in French-Language Comics and Graphic Novels Hugo Frey

Broschur

16.59 €

Evidential Foundations of Probalistic Reasoning David A. Schum

Broschur

38.79 €

History of Football Michael Heatley

Broschur

13.69 €

Ecstasy, Ritual, and Alternate Reality Felicitas D. Goodman

Broschur

20.99 €

International Investment Law and the Environment Saverio Di Benedetto

Hardcover

157.29 €

Underground Publishing and the Public Sphere Jan C. Behrends

Broschur

25.39 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

25 Years of Model Checking

History, Achievements, Perspectives

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

25 Years of Model Checking

History, Achievements, Perspectives

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!