7 treff

maskinspesifikasjon notrbib real001380
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
CHARME 2003
Bok Engelsk 2003 · Vis mer
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
CHARME 2001
Bok Engelsk 2001 · Vis mer
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
Bok Engelsk 1999 · Vis mer
ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
International Conference of B and Z Users
Bok Engelsk 2003 · Vis mer
ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
International Conference of B and Z Users
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29- September 2, 2000 : proceedings
International Conference of B and Z Users
Bok Engelsk 2000 · Vis mer
Formal specification of distributed multimedia systems
Gordon Blair ... [et al.]
Bok Engelsk 1998 · Vis mer