Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Systems and Software Verification

Model-Checking Techniques and Tools (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic...
lieferbar
versandkostenfrei

Bestellnummer: 3211795

Buch 128.39
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 3211795

Buch 128.39
In den Warenkorb
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic...
Andere Kunden interessierten sich auch für

Systems and Software Verification

M. Bidoit, B. Berard, a. petit, A. Finkel, L. Petrucci, P. Schnoebelen, F. Laroussinie

0 Sterne
eBook

Statt 128.39 19

125.97

Erschienen am 17.04.2013
Leider schon ausverkauft
Buch

74.89

In den Warenkorb
Erschienen am 10.02.2006
lieferbar
Buch

53.49

In den Warenkorb
Erschienen am 19.08.2011
lieferbar
Buch

49.22

In den Warenkorb
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 07.10.2011
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 07.10.2011
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 08.07.2011
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 19.05.2018
lieferbar
Buch

123.04

In den Warenkorb
Erschienen am 06.07.2011
lieferbar
Buch

84.99

In den Warenkorb
Erschienen am 14.04.2015
lieferbar
Buch

57.78

In den Warenkorb
Erschienen am 31.03.2015
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 05.07.2010
lieferbar

Agent-Based Service-Oriented Computing

Kuo-Ming Chao, Fang Dong, Dieter Fensel, Nathan Griffiths, Birgit Hofreiter, Christian Huemer

0 Sterne
Buch

152.46

In den Warenkorb
lieferbar
Buch

58.84

In den Warenkorb
Erschienen am 28.04.2017
lieferbar
Buch

143.38

In den Warenkorb
Erschienen am 04.02.2011
lieferbar
Buch

139.99

In den Warenkorb
Erschienen am 03.02.2012
lieferbar
Buch

53.49

In den Warenkorb
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 09.11.2011
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 09.11.2011
lieferbar
Mehr Bücher des Autors

Lachsalven.de... das Buch

a. petit

0 Sterne
Buch

11.95

Vorbestellen
Erschienen am 21.04.2008
Voraussichtlich lieferbar in 3 Tag(en)

War in NewYork

a. petit

0 Sterne
Buch

8.95

Vorbestellen
Erschienen am 18.04.2008
Voraussichtlich lieferbar in 3 Tag(en)

Notfall Atlantis

a. petit

0 Sterne
Buch

18.95

Vorbestellen
Erschienen am 22.05.2007
Voraussichtlich lieferbar in 3 Tag(en)

Emergency Atlantis

a. petit

0 Sterne
Buch

18.95

Vorbestellen
Erschienen am 27.07.2007
Voraussichtlich lieferbar in 3 Tag(en)

CASL User Manual

M. Bidoit, P. D. Mosses

0 Sterne
Buch

74.85

Vorbestellen
Erschienen am 29.01.2004
Voraussichtlich lieferbar in 3 Tag(en)
Kommentar zu "Systems and Software Verification"
Andere Kunden kauften auch
Buch

74.89

In den Warenkorb
Erschienen am 10.02.2006
lieferbar
Buch

53.49

In den Warenkorb
Erschienen am 19.08.2011
lieferbar
Buch

49.22

In den Warenkorb
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 07.10.2011
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 07.10.2011
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 08.07.2011
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 19.05.2018
lieferbar
Buch

123.04

In den Warenkorb
Erschienen am 06.07.2011
lieferbar
Buch

84.99

In den Warenkorb
Erschienen am 14.04.2015
lieferbar
Buch

57.78

In den Warenkorb
Erschienen am 31.03.2015
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 05.07.2010
lieferbar

Agent-Based Service-Oriented Computing

Kuo-Ming Chao, Fang Dong, Dieter Fensel, Nathan Griffiths, Birgit Hofreiter, Christian Huemer

0 Sterne
Buch

152.46

In den Warenkorb
lieferbar
Buch

58.84

In den Warenkorb
Erschienen am 28.04.2017
lieferbar
Buch

143.38

In den Warenkorb
Erschienen am 04.02.2011
lieferbar
Buch

139.99

In den Warenkorb
Erschienen am 03.02.2012
lieferbar
Buch

53.49

In den Warenkorb
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 09.11.2011
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 09.11.2011
lieferbar
0 Gebrauchte Artikel zu „Systems and Software Verification“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich