WELTBILD und Partner brauchen Ihre Zustimmung (Klick auf „OK”) bei vereinzelten Datennutzungen, um unter anderem Informationen zu Ihren Interessen anzuzeigen. Die Verwendung von Cookies können Sie hier ablehnen. Die Einwilligung kann jederzeit in der Datenschutzerklärung widerrufen werden.
OK

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, July 5, Toulouse, France, Septmber 21 and 24,1999. Proceedings. (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed,...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 3245456

Buch 74.89
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 3245456

Buch 74.89
Jetzt vorbestellen
Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed,...
Andere Kunden interessierten sich auch für
eBook

Statt 74.89 19

69.60

Erschienen am 21.05.2003
Leider schon ausverkauft
Buch

93.08

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

CAAP '90

0 Sterne
Buch

109.99

In den Warenkorb
Erschienen am 25.04.1990
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.09.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 29.11.1999
lieferbar
Buch

96.25

In den Warenkorb
Erschienen am 13.04.2004
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 02.04.1997
lieferbar
Buch

68.48

Vorbestellen
Erschienen am 13.03.2016
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

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

Developing Statistical Software in Fortran 95

David R. Lemmon, Joseph L. Schafer

0 Sterne
Buch

139.09

In den Warenkorb
lieferbar
Buch

74.89

Vorbestellen
Erschienen am 10.03.1999
Voraussichtlich lieferbar in 3 Tag(en)
Buch

74.89

Vorbestellen
Erschienen am 22.02.1989
Voraussichtlich lieferbar in 3 Tag(en)
Buch

74.89

Vorbestellen
Erschienen am 10.03.1999
Voraussichtlich lieferbar in 3 Tag(en)
Buch

74.99

In den Warenkorb
Erschienen am 19.09.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 03.09.2015
lieferbar
Buch

117.69

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

Analyse und Design mit der UML 2.5.1

Bernd Oestereich, Axel Scheithauer

0 Sterne
Buch

79.95

Vorbestellen
Erscheint am 10.04.2021

A Software Process Model Handbook for Incorporating People's Capabilities

Silvia T. Acuna, Natalia Juristo, Alicia Mon, Ana Maria Moreno

0 Sterne
Buch

165.84

Vorbestellen
Erschienen am 28.06.2005
Voraussichtlich lieferbar in 5 Tag(en)
Kommentar zu "Theoretical and Practical Aspects of SPIN Model Checking"
Andere Kunden kauften auch
Buch

93.08

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

CAAP '90

0 Sterne
Buch

109.99

In den Warenkorb
Erschienen am 25.04.1990
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.09.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 29.11.1999
lieferbar
Buch

96.25

In den Warenkorb
Erschienen am 13.04.2004
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 02.04.1997
lieferbar
Buch

68.48

Vorbestellen
Erschienen am 13.03.2016
Voraussichtlich lieferbar in 3 Tag(en)
Buch

80.24

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

Developing Statistical Software in Fortran 95

David R. Lemmon, Joseph L. Schafer

0 Sterne
Buch

139.09

In den Warenkorb
lieferbar
Buch

74.89

Vorbestellen
Erschienen am 10.03.1999
Voraussichtlich lieferbar in 3 Tag(en)
Buch

74.89

Vorbestellen
Erschienen am 22.02.1989
Voraussichtlich lieferbar in 3 Tag(en)
Buch

74.89

Vorbestellen
Erschienen am 10.03.1999
Voraussichtlich lieferbar in 3 Tag(en)
Buch

74.99

In den Warenkorb
Erschienen am 19.09.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 03.09.2015
lieferbar
Buch

117.69

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

Analyse und Design mit der UML 2.5.1

Bernd Oestereich, Axel Scheithauer

0 Sterne
Buch

79.95

Vorbestellen
Erscheint am 10.04.2021

A Software Process Model Handbook for Incorporating People's Capabilities

Silvia T. Acuna, Natalia Juristo, Alicia Mon, Ana Maria Moreno

0 Sterne
Buch

165.84

Vorbestellen
Erschienen am 28.06.2005
Voraussichtlich lieferbar in 5 Tag(en)
Weitere Empfehlungen zu „Theoretical and Practical Aspects of SPIN Model Checking “
0 Gebrauchte Artikel zu „Theoretical and Practical Aspects of SPIN Model Checking“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich