Konferenzschrift | Kongress
Formal methods in computer aided design : third international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540412199
3540412190
- Dimensions
-
24 cm
- Extent
-
XI, 537 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1954
- Keyword
-
CAD
Verifikation
Formale Methode
CAD
Verifikation
Model Checking
Softwaretest
Programmanalyse
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2000
- Contributor
-
Hunt, Warren A.
FMCAD (3 : 2000 : Austin, Tex.)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:33 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Hunt, Warren A.
- FMCAD (3 : 2000 : Austin, Tex.)
- Springer
Time of origin
- 2000
Other Objects (12)
Integrated formal methods : third international conference ; proceedings
Formal methods in computer aided design : first international conference ; proceedings
Formal methods in computer aided design : second international conference ; proceedings
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
NASA formal methods : third international symposium ; proceedings
Web services and formal methods : third international workshop ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Integrated formal methods : 9th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : third international conference ; proceedings
Formal methods in computer aided design : first international conference ; proceedings
Formal methods in computer aided design : second international conference ; proceedings
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
NASA formal methods : third international symposium ; proceedings
Web services and formal methods : third international workshop ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Integrated formal methods : 9th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : third international conference ; proceedings
Formal methods in computer aided design : first international conference ; proceedings
Formal methods in computer aided design : second international conference ; proceedings
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
NASA formal methods : third international symposium ; proceedings
Web services and formal methods : third international workshop ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Integrated formal methods : 9th international conference ; proceedings