Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings
Warren A. Hunt, Jr., Steven D. Johnson (eds.)Inngår i serie: Lecture notes in computer science (1954)
FMCAD 2000 Bok Engelsk utgitt c2000
FMCAD 2000 Bok Engelsk utgitt c2000
Ledig
- Automatlager: 2 av 2 ledig
Henter eksemplarliste...
Fakta
| Tittelnr | 383888
|
|---|---|
| Tittel | |
| Forfatter | |
| Språk | Engelsk |
| Utgitt | Berlin : Springer , c2000
|
| Omfang | XI, 537 s. : ill.
|
| Serie | |
| Nettressurser | https://contents.bibs.aws.unit.no/?isbn=3540412190
https://contents.bibs.aws.unit.no/content/?isbn=9783540412199 https://contents.bibs.aws.unit.no/?isbn=3540412190 https://contents.bibs.aws.unit.no/content/?isbn=9783540412199 https://contents.bibs.aws.unit.no/content/?isbn=9783540412199 https://contents.bibs.aws.unit.no/files/images/large/9/9/9783540412199.jpg (image/jpeg) |
| ISBN | 3540412190 (h.)
|