Výsledky hledání pro autora

1

Obálka

Practical formal methods for hardware design /

Vydáno 1997

Další autoři: '; “...Damm, Werner...”

Kniha

2

Obálka

Computer aided verification : 19th International Conference, CAV 2007 : Berlin, Germany , July 3-7, 2007 : proceedings /

Vydáno 2007

Další autoři: '; “...Damm, Werner...”

Kniha

3

Obálka

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings /

Vydáno 2002

Další autoři: '; “...Damm, Werner...”

Kniha