Konferenzschrift | Kongress
Correct hardware design and verification methods : 10th IFIP WG 10.5 advanced research working conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540665595
3540665595
- Dimensions
-
24 cm
- Extent
-
XI, 366 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1703
- Keyword
-
Hardwareentwurf
Formale Methode
Hardwareverifikation
Formale Methode
Model Checking
VLSI
Entwurfsautomation
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1999
- Contributor
-
Pierre, Laurence
International Federation for Information Processing. Working Group Very Large Scale Integration
CHARME (10 : 1999 : Bad Herrenalb)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:13 PM CEST
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
- Pierre, Laurence
- International Federation for Information Processing. Working Group Very Large Scale Integration
- CHARME (10 : 1999 : Bad Herrenalb)
- Springer
Time of origin
- 1999
Other Objects (12)
Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : proceedings
Network and parallel computing : 10th IFIP international conference ; proceedings
Electronic government : 10th IFIP WG 8.5 international conference ; proceedings
The fusion of hardware design and verification : proceedings of the IFIP WG 10 2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4 - 6 July, 1988
Computer aided verification : 10th international conference ; proceedings
Communications and multimedia security : 10th IFIP TC6 TC11 international conference ; proceedings
Artificial intelligence applications and innovations : 10th IFIP WG 12.5 international conference ; proceedings
Product lifecycle management for society : 10th IFIP WG 5.1 international conference ; proceedings
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : proceedings
Network and parallel computing : 10th IFIP international conference ; proceedings
Electronic government : 10th IFIP WG 8.5 international conference ; proceedings
The fusion of hardware design and verification : proceedings of the IFIP WG 10 2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4 - 6 July, 1988
Computer aided verification : 10th international conference ; proceedings
Communications and multimedia security : 10th IFIP TC6 TC11 international conference ; proceedings
Artificial intelligence applications and innovations : 10th IFIP WG 12.5 international conference ; proceedings
Product lifecycle management for society : 10th IFIP WG 5.1 international conference ; proceedings
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : proceedings
Network and parallel computing : 10th IFIP international conference ; proceedings
Electronic government : 10th IFIP WG 8.5 international conference ; proceedings
The fusion of hardware design and verification : proceedings of the IFIP WG 10 2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4 - 6 July, 1988
Computer aided verification : 10th international conference ; proceedings
Communications and multimedia security : 10th IFIP TC6 TC11 international conference ; proceedings
Artificial intelligence applications and innovations : 10th IFIP WG 12.5 international conference ; proceedings
Product lifecycle management for society : 10th IFIP WG 5.1 international conference ; proceedings