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

Computer-Aided Verification

2nd International Conference CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. It features theoretical results that lead to new or more powerful verification methods. Among these are advances...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 1398817

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

Bestellnummer: 1398817

Buch 80.24
Jetzt vorbestellen
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. It features theoretical results that lead to new or more powerful verification methods. Among these are advances...
Andere Kunden interessierten sich auch für

Learning MATLAB

Walter Gander

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 08.12.2015
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 12.05.2009
lieferbar

Systolic Computations

M. A. Frumkin

0 Sterne
Buch

117.69

Vorbestellen
Erschienen am 30.04.1992
Voraussichtlich lieferbar in 5 Tag(en)

Graph Theory for Programmers

Victor N. Kasyanov, Vladimir A. Evstigneev

0 Sterne
Buch

128.39

Vorbestellen
Erschienen am 31.08.2000
Voraussichtlich lieferbar in 5 Tag(en)
Buch

93.08

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

74.89

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

106.99

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

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten

0 Sterne
Buch

129.99

In den Warenkorb
Erschienen am 31.08.2013
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 06.07.1998
lieferbar

Collected Papers

Alfred Tarski

0 Sterne
Buch

139.09

In den Warenkorb
Erschienen am 01.01.2019
lieferbar

Collected Papers

Alfred Tarski

0 Sterne
Buch

171.19

Vorbestellen
Erschienen am 01.01.2019
Voraussichtlich lieferbar in 5 Tag(en)

Collected Papers

Alfred Tarski

0 Sterne
Buch

139.09

In den Warenkorb
Erschienen am 03.01.2019
lieferbar

Einführung in die Mathematische Logik

Wolfgang Rautenberg

0 Sterne
Buch

29.99

In den Warenkorb
Erschienen am 15.07.2008
lieferbar
Buch

59.99

In den Warenkorb
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 04.11.2015
lieferbar
Buch

109.99

In den Warenkorb
Erschienen am 14.12.2010
lieferbar
Buch

106.99

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

69.54

In den Warenkorb
Erschienen am 27.11.2015
lieferbar
Kommentar zu "Computer-Aided Verification"
Andere Kunden kauften auch

Learning MATLAB

Walter Gander

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 08.12.2015
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 12.05.2009
lieferbar

Systolic Computations

M. A. Frumkin

0 Sterne
Buch

117.69

Vorbestellen
Erschienen am 30.04.1992
Voraussichtlich lieferbar in 5 Tag(en)

Graph Theory for Programmers

Victor N. Kasyanov, Vladimir A. Evstigneev

0 Sterne
Buch

128.39

Vorbestellen
Erschienen am 31.08.2000
Voraussichtlich lieferbar in 5 Tag(en)
eBook

9.99

Download bestellen
Erschienen am 25.08.2008
sofort als Download lieferbar
Buch

93.08

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

74.89

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

106.99

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

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten

0 Sterne
Buch

129.99

In den Warenkorb
Erschienen am 31.08.2013
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 06.07.1998
lieferbar

Collected Papers

Alfred Tarski

0 Sterne
Buch

139.09

In den Warenkorb
Erschienen am 01.01.2019
lieferbar

Collected Papers

Alfred Tarski

0 Sterne
Buch

171.19

Vorbestellen
Erschienen am 01.01.2019
Voraussichtlich lieferbar in 5 Tag(en)

Collected Papers

Alfred Tarski

0 Sterne
Buch

139.09

In den Warenkorb
Erschienen am 03.01.2019
lieferbar

Einführung in die Mathematische Logik

Wolfgang Rautenberg

0 Sterne
Buch

29.99

In den Warenkorb
Erschienen am 15.07.2008
lieferbar
Buch

59.99

In den Warenkorb
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 04.11.2015
lieferbar
Buch

109.99

In den Warenkorb
Erschienen am 14.12.2010
lieferbar
Buch

106.99

Vorbestellen
Erschienen am 11.11.1999
Voraussichtlich lieferbar in 3 Tag(en)
Weitere Empfehlungen zu „Computer-Aided Verification “
0 Gebrauchte Artikel zu „Computer-Aided Verification“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich