Zurück
Vor

Automated Technology for Verification and Analysis
Kurzinformation
Sprache:
Englisch
ISBN:
3319119354
Verlag:
Seitenzahl:
430
Auflage:
-
Erschienen:
2014-11-29



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten

Beschreibung
Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. von Cassez, Franck und Raskin, Jean-Francois
Produktdetails
Einband:
Kartoniert
Seitenzahl:
430
Erschienen:
2014-11-29
Sprache:
Englisch
EAN:
9783319119359
ISBN:
3319119354
Verlag:
Gewicht:
686 g
Auflage:
-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Neu
53,49 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-60%
frontend/listing/product-box/box-product-slider.tpl
-56%
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Katoen, Joost-Pieter
25,32 €
57,23 €
frontend/listing/product-box/box-product-slider.tpl
-70%
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Grumberg, Orna und Huth, Mi...
33,92 €
114,48 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 476 Seiten
- Erschienen 2000
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Gevatter, Hans-Jürgen
7,25 €
64,99 €
frontend/listing/product-box/box-product-slider.tpl
-56%
frontend/listing/product-box/box-product-slider.tpl
-89%
- Kartoniert
- 389 Seiten
- Erschienen 2000
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Gevatter, Hans-Jürgen
8,43 €
74,99 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-56%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-63%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-76%
- hardcover
- 208 Seiten
- Erschienen 2023
- Wiley-ISTE
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
El Hami, Abdelkhalak
30,13 €
127,20 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-77%
frontend/listing/product-box/box-product-slider.tpl
-71%
- Gebunden
- 528 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schnieder, Eckehard
34,87 €
119,99 €
frontend/listing/product-box/box-product-slider.tpl
-41%
- Gebunden
- 359 Seiten
- Erschienen 2016
- Springer Vieweg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schäuffele, Jörg und Zurawk...
58,96 €
99,99 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-88%
- Hardcover
- 386 Seiten
- Erschienen 2009
- Medical Information Science...
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Zhang, David;Song, Fengxi;X...
29,62 €
238,60 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- paperback -
- Erschienen 2010
- Wiley India
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
KSHIRASAGAR NAIK, PRIYADARSHI
19,49 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-48%
frontend/listing/product-box/box-product-slider.tpl
-5%
- Gebunden
- 1350 Seiten
- Erschienen 2021
- Nomos
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Chibanguza, Kuuya und Kuß, ...
149,92 €
158,00 €
frontend/listing/product-box/box-product-slider.tpl
-89%
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Labahn, George
17,33 €
160,49 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-90%
frontend/listing/product-box/box-product-slider.tpl
-60%