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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561845
Price: 58.35 EUR
Availability: InStock
Author: Antti Valmari
ISBN: 9783540331025

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

Sprache

Englisch

Buch Broschur

Libristo-Code: 01561845

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2006

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

Libristo-Code: 01561845

141 b

58.35 €

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Celulas-Tronco Capuano Vanessa Capuano

Broschur

41.79 €

Grundlagen des Usability-Engineering Marcel Thum

Broschur

16.15 €

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain

Broschur

18.27 €

Planner Story Pavel Kosatík

Hardcover

1.00 €

La Mort Comme Effet Secondaire Shua

Broschur

24.02 €

Mit Vollgas Weiter Die Jungen Klostertaler

Audio CD

17.66 €

Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh

Broschur

16.15 €

Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek

Blatt

14.83 €

XXX xxx

Broschur

7.76 €

Fundamentos teóricos y jurídicos de la ordenación del territorio

Broschur

24.12 €

Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft

Broschur

25.03 €

Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová

binding.

8.98 €

Rupáner-konyha Rupáner-Gallé Margó

Hardcover

14.53 €

STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield

Broschur

20.28 €

Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold

Broschur

38.06 €

Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries

Broschur

17.26 €

Decirte adiós con un te quiero SILVIA CARPALLO

Broschur

20.18 €

Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio Murillo Muñoz

Broschur

39.77 €

La televisión local en el País Vasco Santos Díez

Broschur

14.63 €

Corrales: Guia de Servicios Diego Molina Ruiz

Broschur

6.55 €

Handbuch Der Waffenkunde Wendelin Boeheim

Broschur

48.86 €

I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius

Hardcover

30.58 €

Grossbuchstaben Geschichten 2 Sara Quast

Broschur

5.64 €

Vengeful - Die Rache ist mein V. E. Schwab

Broschur

15.64 €

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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 Antti Valmari

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2006

Anzahl der Seiten 308

EAN 9783540331025

ISBN 3540331026

Libristo-Code 01561845

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

Gewicht 1010

Abmessungen 155 x 19 x 19

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

Das könnte Sie auch interessieren

Thirteenth Bullet Cotton Smith

Broschur

7.36 €

Surgery for Parkinson's Disease Robert R. Goodman

Hardcover

50.47 €

Riveted Meljean Brook

Broschur

21.50 €

Cadogan Guide Cairo, Luxor and Aswan Michael Haag

Broschur

19.98 €

Nuclear Medicine Dibya Prakash

Broschur

50.47 €

International Relations Theory Michael Haas

Hardcover

140.24 €

Spanish Notebook Christopher Buckley

Broschur

16.55 €

Wages of Sin Kaite Welsh

Broschur

13.72 €

Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt

Broschur

10.79 €

Handbook of Macroeconomics J B Taylor

Hardcover

160.23 €

Picasso Anna Coliva

Hardcover

48.05 €

Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing

Broschur

7.06 €

Dancing with Sophia Brian Schroeder

Broschur

52.09 €

Beginner's Guide to Chinese Brush Painting Susan Self

Hardcover

11.30 €

Once Upon a Winter Tennant Tilly Tennant

Broschur

12.31 €

Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education

Broschur

7.97 €