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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

SPIN Model Checking and Software Verification

Name: SPIN Model Checking and Software Verification
Brand: Springer, Berlin
SKU: 01563035
Price: 53.79 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783540410300

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Klaus Havelund

John Penix

Willem Visser

Sprache

Englisch

Buch Broschur

Libristo-Code: 01563035

Verlag Springer, Berlin, November 1999

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... Vollständige Beschreibung

Libristo-Code: 01563035

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Sanaci Dami Alvarez

Broschur

10.69 €

Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK

Hardcover

16.99 €

Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla

Broschur

40.99 €

Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst

Adobe ePub DRM

60.39 €

Konec sezóny na koupališti Úštěk Veronika Bendová

Blatt

13.79 €

COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER

Broschur

16.49 €

T'choupi Thierry Courtin

Hardcover

9.69 €

L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova

Broschur

19.99 €

Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P

Broschur

31.29 €

100 fiocchi di neve a uncinetto Caitlin Sainio

Broschur

22.99 €

Tanri Yoktur Allahtan Baska Reza Aslan

Broschur

14.69 €

E-Democracy Martin Wolf

Broschur

62.29 €

Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy

Broschur

8.00 €

Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz

Broschur

38.00 €

Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock

Broschur

27.69 €

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, held in Stanford, California in August/September 2000. This book is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems. The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. The 17 revised full papers presented together with three tutorial contributions were carefully reviewed and selected from 31 submissions. The book competently presents the state of the art in SPIN model checking.

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 SPIN Model Checking and Software Verification

Autor Klaus Havelund, John Penix, Willem Visser

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2000

Anzahl der Seiten 346

EAN 9783540410300

ISBN 3540410309

Libristo-Code 01563035

Verlag Springer, Berlin

Gewicht 508

Abmessungen 155 x 235 x 18

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

The Balkans: A History of Bulgaria and Serbia Nevill Forbes

Broschur

7.99 €

Nero And Actea: A Tragedy (1891) Eric MacKay

Broschur

19.29 €

A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis

Broschur

34.09 €

The Cure Leah O'Neil

Broschur

15.39 €

Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch

Broschur

9.39 €

The Scope of Immunology Sadiq Mareai

Broschur

33.59 €

Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART

Hardcover

32.79 €