LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Bouajjani, Ahmed und Chin, Wei-Nga

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
3642156428
Verlag:
Springer-Verlag GmbH
Seitenzahl:
404
Auflage:
-
Erschienen:
2010-09-03
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Neu bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

place. von Bouajjani, Ahmed und Chin, Wei-Nga

Produktdetails

Einband:
Kartoniert
Seitenzahl:
404
Erschienen:
2010-09-03
Sprache:
Englisch
EAN:
9783642156427
ISBN:
3642156428
Verlag:
Springer-Verlag GmbH
Gewicht:
624 g
Auflage:
-
Verwandte Sachgebiete:
Allgemeine Informatik
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Bouajjani, Ahmed und Chin, Wei-Nga

Entdecke mehr vom Verlag

Springer-Verlag GmbH
Neu
85,59 €
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
Gegen Reizhusten...
  • Hardcover
  • 416 Seiten
  • Erschienen 2004
  • Mitp-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Gegen Reizhusten...
Weigelt, Lutz
2,07 €
Details
frontend/listing/product-box/box-product-slider.tpl
PC & Windows 8 für Senioren
  • Hardcover
  • 216 Seiten
  • Erschienen 2013
  • Data Becker GmbH + Co.Kg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
PC & Windows 8 für Senioren
Kiefer, Philip
1,12 €
Details
frontend/listing/product-box/box-product-slider.tpl
SAFe® for DevOps Practitioners
  • Hardcover
  • 330 Seiten
  • Erschienen 2022
  • Packt Publishing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
SAFe® for DevOps Practitioners
Wen, Robert
18,85 €
Details
frontend/listing/product-box/box-product-slider.tpl
One more thing
  • Hardcover
  • 415 Seiten
  • Addison-Wesley Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
One more thing
Erdmann, Charlotte
2,16 €
Details
frontend/listing/product-box/box-product-slider.tpl
Data Protection and Privacy: The Age of Intelligent Machines
  • Hardcover
  • 256 Seiten
  • Hart Publishing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Data Protection and Privacy: The Age of...
-
11,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
Maven Essentials
  • Hardcover
  • 184 Seiten
  • Packt Publishing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Maven Essentials
Siriwardena, Prabath
6,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
Team Working for Better Math Students
  • Hardcover
  • 310 Seiten
  • XLIBRIS
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Team Working for Better Math Students
Elander, James
6,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Architektur digitaler Rechenanlagen
  • Hardcover
  • 260 Seiten
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Architektur digitaler Rechenanlagen
Jessen, E.
3,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
C++ Quick Syntax Reference
  • Hardcover
  • 124 Seiten
  • Apress
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
C++ Quick Syntax Reference
Olsson, Mikael
4,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
Boolesche Algebra und Computer
  • Hardcover
  • 112 Seiten
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Boolesche Algebra und Computer
Jäschke, Karl-Heinrich;Harb...
16,37 €
Details