Biblioteksøk

Vis søkeskjema

5 treff

International Conference of B Users

B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings

International Conference of B Users
Bok Engelsk 2006

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

International Conference of B and Z Users
Bok Engelsk 2005

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

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

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

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål