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

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.

The 52 full and 13 tool papers presented together...
lieferbar
versandkostenfrei

Bestellnummer: 103177589

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

Bestellnummer: 103177589

Buch 53.49
In den Warenkorb
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.

The 52 full and 13 tool papers presented together...
Andere Kunden interessierten sich auch für
Buch

53.49

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 12.07.2018
lieferbar
Buch

79.17

In den Warenkorb
Erschienen am 15.08.2018
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 08.06.2009
lieferbar
Buch

53.49

In den Warenkorb
Erschienen am 24.02.2012
lieferbar
Buch

70.61

In den Warenkorb
Erschienen am 04.07.2018
lieferbar
Buch

143.50

In den Warenkorb
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Buch

104.85

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Buch

89.99

In den Warenkorb
lieferbar
Buch

96.29

In den Warenkorb
lieferbar
Buch

49.22

In den Warenkorb
lieferbar
Buch

53.49

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

129.99

In den Warenkorb
Erschienen am 10.06.2015
lieferbar
Buch

22.99

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 11.06.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 10.06.2015
lieferbar
Buch

74.99

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

53.49

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 12.07.2018
lieferbar
Buch

79.17

In den Warenkorb
Erschienen am 15.08.2018
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 08.06.2009
lieferbar
Buch

53.49

In den Warenkorb
Erschienen am 24.02.2012
lieferbar
Buch

70.61

In den Warenkorb
Erschienen am 04.07.2018
lieferbar
Buch

143.50

In den Warenkorb
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Buch

104.85

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Buch

89.99

In den Warenkorb
lieferbar
Buch

96.29

In den Warenkorb
lieferbar
Buch

49.22

In den Warenkorb
lieferbar
Buch

53.49

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

129.99

In den Warenkorb
Erschienen am 10.06.2015
lieferbar
Buch

22.99

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 11.06.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 10.06.2015
lieferbar
Buch

74.99

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