Prospects for hardware foundations : ESPRIT Working Group 8533, NADA - new hardware design methods, survey chapters
Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and...
Uloženo v:
| Hlavní autor: | Möller, Bernhard, 1953- |
|---|---|
| Další autoři: | Tucker, John V., 1952- (Šéfredaktor, odpovědný redaktor) |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1546 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Prospects for hardware foundations, ESPRIT Working Group 8533, NADA--new hardware design methods, survey chapters, Bernhard Möller, John V. Tucker, eds, 1998, Berlin, Springer, 1 vol. (X-468 p.), Lecture notes in computer science, 3-540-65461-5 • Prospects for Hardware Foundations, Texte imprimé, 9783662175392 |
Podobné jednotky
-
Towards evolvable hardware : the evolutionary engineering approach
(Livre numérique)
Sanchez, Eduardo, 1953- -
Concurrency and hardware design : advances in Petri nets
(Livre numérique)
Cortadella, Jordi, 1962- - Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings (Livre numérique)
- Cryptographic hardware and embedded systems CHES 2001 : international workshop, Paris, France, May 14-16, 2001 : proceedings (Livre numérique)
-
Formal hardware verification : methods and systems in comparison
(Livre numérique)
Kropf, Thomas, 1961-

