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)
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
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.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
