Konferenzschrift
Formal design methods for CAD : proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16 - 19 June 1994
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
0444819703
- Maße
-
23 cm
- Umfang
-
VIII, 363 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Ill., graph. Darst.
Literaturangaben
- Erschienen in
-
IFIP transactions / B / International Federation for Information Processing ; 18, B, Applications in technology
- Ereignis
-
Veröffentlichung
- (wo)
-
Amsterdam, Lausanne, New York, Oxford, Shannon, Tokyo
- (wer)
-
Elsevier
- (wann)
-
1994
- Beteiligte Personen und Organisationen
-
Gero, John S.
International Federation for Information Processing. Working Group Computer Aided Design
Workshop on Formal Design Methods for CAD (1994 : Tallinn)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:07 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
Beteiligte
- Gero, John S.
- International Federation for Information Processing. Working Group Computer Aided Design
- Workshop on Formal Design Methods for CAD (1994 : Tallinn)
- Elsevier
Entstanden
- 1994
Ähnliche Objekte (12)
Practical formal methods for hardware design
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Formal methods for the design of real time systems : revised lectures
Formal methods for transport systems
Formal methods for automated debugging
Formal methods for mobile computing
CAD-Datenaustausch : ein formaler Ansatz
New Formal Methods for Automotive Configuration
Formal methods for mining structured objects
Formal methods for industrial applications, Buch.
Formal methods for probabilistic energy models
Practical formal methods for hardware design
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Formal methods for the design of real time systems : revised lectures
Formal methods for transport systems
Formal methods for automated debugging
Formal methods for mobile computing
CAD-Datenaustausch : ein formaler Ansatz
New Formal Methods for Automotive Configuration
Formal methods for mining structured objects
Formal methods for industrial applications, Buch.
Formal methods for probabilistic energy models
Practical formal methods for hardware design
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Formal methods for the design of real time systems : revised lectures
Formal methods for transport systems
Formal methods for automated debugging
Formal methods for mobile computing
CAD-Datenaustausch : ein formaler Ansatz
New Formal Methods for Automotive Configuration
Formal methods for mining structured objects
Formal methods for industrial applications, Buch.