Treffliste - International Conference of B Users - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

5 treff

Sortering

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
Inngår i serie: Lecture notes in computer science (3455)
Bok Engelsk c2005

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
Inngår i serie: Lecture notes in computer science (1878)
Bok Engelsk c2000

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
Inngår i serie: Lecture notes in computer science (2272)
Bok Engelsk c2002

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
Inngår i serie: Lecture notes in computer science (2651)
Bok Engelsk c2003

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
Inngår i serie: Lecture notes in computer science (4355)
Bok Engelsk c2006

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk