Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568802
Price: 50.99 EUR
Availability: InStock
Author: Dragan Bosnacki
ISBN: 9783540733690

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki

Stefan Edelkamp

Sprache

Englisch

Buch Broschur

Libristo-Code: 01568802

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

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Vollständige Beschreibung

Libristo-Code: 01568802

125 b

50.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Grundlinien der Philosophie D. Fr. Ast

Broschur

49.00 €

Ötanazi Okulu 1 Ciltli

Broschur

19.89 €

LES PEINTURES Beeckman

Broschur

9.19 €

Das Quiz für Besserwisser I ab 10 Jahren

Hardcover

6.39 €

Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos

Broschur

35.29 €

LOS IRRELEVANTES ABRIL

Hardcover

19.09 €

Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka

Broschur

36.39 €

Krevní banka Tanya Huffová

Broschur

8.29 €

Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer

Broschur

21.59 €

Eine malerische Reise nach den toten Städten der Zuyder See Henry Havard

Broschur

11.90 €

Berek Szczygielski Marcin

Hardcover

8.49 €

Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus

Broschur

39.80 €

Premium Touren. Ein schöner Tag wandern Ulrike Poller

Broschur

16.95 €

Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek

Broschur

54.99 €

La psicología en la escuela Delval

Broschur

15.89 €

Sally y la maldición del rubí PULLMAN

Broschur

6.69 €

Raphael und Pinturicchio in Siena August Schmarsow

Broschur

12.90 €

Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet

Broschur

7.99 €

La historia de Ana Zeppelin: Tomo 1 Giselle Murillo

Broschur

7.39 €

Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske

Broschur

16.50 €

Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux

Broschur

26.89 €

Senzibil Markéta Pilátová

Hardcover

12.09 €

LA SABIDURíA DE LAS AVES TIM BIRKHEAD

Broschur

32.49 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Model Checking Software

Autor Dragan Bosnacki, Stefan Edelkamp

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 285

EAN 9783540733690

ISBN 3540733698

Libristo-Code 01568802

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

Gewicht 462

Abmessungen 155 x 235 x 17

Kategorie

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 > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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