Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)

Name: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)
Price: 46.83 EUR
Availability: InStock
Author: Katoen, Joost-Pieter
ISBN: 9783540434191

Katoen, Joost-Pieter

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

46,83 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540434191

Verlag:

Springer

Seitenzahl:

500

Auflage:

Erschienen:

2008-06-13

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

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.

Akzeptabel 46,83 €

Starke Gebrauchsspuren, Seiten und Bindung beschädigt
Knicke oder Markierungen nicht mehr als 20%
CDs und Zugangscodes können fehlen
Auflage kann abweichen

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.

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

46,83 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

"Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002" ist ein Fachbuch, das die Beiträge der gleichnamigen Konferenz zusammenfasst. Die Konferenz fand im Rahmen der Joint European Conferences on Theory and Practice of Software (ETAPS) statt und konzentrierte sich auf die Entwicklung und Anwendung von Werkzeugen und Algorithmen zur Konstruktion und Analyse von Softwaresystemen. Das Buch behandelt eine Vielzahl von Themen aus der Informatik, darunter formale Methoden, Modellprüfung, Verifikation und Validierung von Systemen. Es bietet einen Überblick über aktuelle Forschungsergebnisse und innovative Ansätze in diesen Bereichen. Die Sammlung richtet sich an Forscher, Studierende und Fachleute, die sich mit theoretischen und praktischen Aspekten der Systementwicklung beschäftigen.