Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in ... Notes in Computer Science, 1954, Band 1954)

Name: Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in ... Notes in Computer Science, 1954, Band 1954)
Availability: InStock
Author: Hunt Jr., Warren A.
ISBN: 9783540432029

Hunt Jr., Warren A.

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

0,00 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540432029

Verlag:

Springer

Seitenzahl:

564

Auflage:

Erschienen:

2000-11-27

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 0,00 €

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.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

0,00 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in ... Notes in Computer Science, 1954, Band 1954)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

Das Buch "Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 2000 Proceedings" ist eine Sammlung von wissenschaftlichen Arbeiten und Beiträgen, die im Rahmen der dritten internationalen Konferenz zu formalen Methoden im computergestützten Design vorgestellt wurden. Herausgegeben von Warren A. Hunt Jr., bietet der Band einen umfassenden Überblick über die neuesten Entwicklungen und Forschungsergebnisse in diesem Bereich. Die Beiträge decken Themen wie Modellprüfung, formale Verifikation, algorithmische Ansätze zur Systemanalyse und Anwendungen dieser Methoden in der Praxis ab. Ziel des Buches ist es, Wissenschaftler und Fachleute aus den Bereichen Informatik und Ingenieurwesen zusammenzubringen, um den Austausch von Ideen zu fördern und die Anwendung formaler Methoden im Designprozess zu verbessern.