Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: International Conference of B and Z Users 10 träffar

Titel Författare År Språk
1 ZB 2002: Formal Specification and Development in Z and B electronic resource : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings / edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson France) International Conference of B and Z Users Grenoble uuuu-uuuu Okänt
2 ZB 2003: Formal Specification and Development in Z and B electronic resource : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén International Conference of B and Z Users uuuu-uuuu Okänt
3 ZB 2000: Formal Specification and Development in Z and B electronic resource : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / edited by Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King International Conference of B and Z Users uuuu-uuuu Okänt
4 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 / Helen Treharne ... et al. (eds.) England) 2005 : (4th International Conference of B and Z Users Guildford uuuu-uuuu Okänt
5-6 Formal specification and development in Z and B - ZB 2000 : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000. : proceedings (flera utgåvor) International Conference of B and Z Users 2000 : York) cop. 2000 Engelska
7-8 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 (flera utgåvor) International Conference of B and Z Users 2002 : Grenoble) cop. 2002 Engelska
9-10 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 (flera utgåvor) Finland) International Conference of B and Z Users 2003 : Turku cop. 2003 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.