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

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the...
lieferbar
versandkostenfrei

Bestellnummer: 94292908

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

Bestellnummer: 94292908

Buch 79.18
In den Warenkorb
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the...
Andere Kunden interessierten sich auch für
eBook

Statt 79.18 19

78.10

Download bestellen
Erschienen am 03.01.2018
sofort als Download lieferbar

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf

0 Sterne
Buch

90.94

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

58.84

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Buch

87.73

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

87.73

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 03.01.2019
lieferbar
Buch

53.49

In den Warenkorb
Erschienen am 23.02.2019
lieferbar
Buch

53.49

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

84.99

In den Warenkorb
Erschienen am 12.09.2007
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 02.12.2017
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 11.02.2015
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 26.05.2008
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 01.07.2008
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Buch

85.59

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

79.17

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

87.73

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

70.61

In den Warenkorb
Erschienen am 10.07.2018
lieferbar
Buch

58.84

In den Warenkorb
Erschienen am 08.12.2017
lieferbar
Kommentar zu "Verification, Model Checking, and Abstract Interpretation"
Andere Kunden kauften auch

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf

0 Sterne
Buch

90.94

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

58.84

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Buch

87.73

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

87.73

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 03.01.2019
lieferbar
Buch

53.49

In den Warenkorb
Erschienen am 23.02.2019
lieferbar
Buch

53.49

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

84.99

In den Warenkorb
Erschienen am 12.09.2007
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 02.12.2017
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 11.02.2015
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 26.05.2008
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 01.07.2008
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Buch

85.59

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

79.17

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

87.73

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Buch

70.61

In den Warenkorb
Erschienen am 10.07.2018
lieferbar
Buch

58.84

In den Warenkorb
Erschienen am 08.12.2017
lieferbar
Weitere Empfehlungen zu „Verification, Model Checking, and Abstract Interpretation “
0 Gebrauchte Artikel zu „Verification, Model Checking, and Abstract Interpretation“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich