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

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully...
lieferbar
versandkostenfrei

Bestellnummer: 91955104

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

Bestellnummer: 91955104

Buch 60.49
In den Warenkorb
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully...
Andere Kunden interessierten sich auch für
eBook

60.50

Download bestellen
Erschienen am 11.11.2017
sofort als Download lieferbar
Buch

98.99

In den Warenkorb
Erschienen am 04.07.2018
lieferbar
Buch

72.59

In den Warenkorb
Erschienen am 10.07.2018
lieferbar
Buch

76.99

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Buch

153.99

In den Warenkorb
Erschienen am 22.09.2005
lieferbar

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

93.45

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Buch

80.29

In den Warenkorb
Erschienen am 20.11.2013
lieferbar
Buch

65.99

In den Warenkorb
Erschienen am 16.01.2012
lieferbar
Buch

52.80

In den Warenkorb
Erschienen am 27.10.2015
lieferbar
Buch

131.99

In den Warenkorb
Erschienen am 30.06.2010
lieferbar
Buch

71.49

In den Warenkorb
Erschienen am 28.11.2017
lieferbar
Buch

72.59

Vorbestellen
Erschienen am 24.08.2018
Jetzt vorbestellen
Buch

76.99

In den Warenkorb
lieferbar
Buch

98.99

In den Warenkorb
Erschienen am 12.07.2018
lieferbar
Buch

23.64

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Buch

65.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

50.60

In den Warenkorb
lieferbar
Buch

60.49

In den Warenkorb
Erschienen am 27.10.2017
lieferbar
Buch

142.99

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
Kommentar zu "Hardware and Software: Verification and Testing"
Andere Kunden kauften auch
Buch

98.99

In den Warenkorb
Erschienen am 04.07.2018
lieferbar
Buch

72.59

In den Warenkorb
Erschienen am 10.07.2018
lieferbar
Buch

76.99

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Buch

153.99

In den Warenkorb
Erschienen am 22.09.2005
lieferbar

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

93.45

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Buch

80.29

In den Warenkorb
Erschienen am 20.11.2013
lieferbar
Buch

65.99

In den Warenkorb
Erschienen am 16.01.2012
lieferbar
Buch

52.80

In den Warenkorb
Erschienen am 27.10.2015
lieferbar
Buch

131.99

In den Warenkorb
Erschienen am 30.06.2010
lieferbar
Buch

71.49

In den Warenkorb
Erschienen am 28.11.2017
lieferbar
Buch

72.59

Vorbestellen
Erschienen am 24.08.2018
Jetzt vorbestellen
Buch

76.99

In den Warenkorb
lieferbar
Buch

98.99

In den Warenkorb
Erschienen am 12.07.2018
lieferbar
Buch

23.64

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Buch

65.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

50.60

In den Warenkorb
lieferbar
Buch

60.49

In den Warenkorb
Erschienen am 27.10.2017
lieferbar
Buch

142.99

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich