Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the B…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Pierre, Laurence (Hrsg.)
- ISBN: 978-3-540-66559-5
- EAN: 9783540665595
- Produktnummer: 3361629
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1999
- Seitenangabe: 388 S.
- Masse: H23.5 cm x B15.5 cm x D2.0 cm 587 g
- Auflage: 1999
- Abbildungen: Paperback
- Gewicht: 587
3 weitere Werke von Thomas (Hrsg.) Kropf:
Bewertungen
Anmelden