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 Z Users 19 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 ZUM'97: The Z Formal Specification Notation electronic resource : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till International Conference of Z Users uuuu-uuuu Okänt
3 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
4 Zum'98 : the z formal specification notation : 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey International Conference of Z Users uuuu-uuuu Okänt
5 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
6 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
7 ZUM '97: The Z Formal Specification Notation International Conference of Z Users 1997 Engelska
8 ZUM '95: The Z Formal Specification Notation International Conference of Z Users 1995 Engelska
9 Zum'98 : the z formal specification notation. - 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings International Conference of Z Users 1998 Engelska
10 ZUM '95 - the Z formal specification notation : proceedings International Conference of Z Users 1995) Limerick : cop. 1995 Engelska
11 ZUM '97 - the Z formal specification notation International Conference of Z Users 1997 : Reading) cop. 1997 Engelska
12-13 Zum '98 - the formal specification notation : proceedings (flera utgåvor) International Conference of Z Users 1998 : Berlin) cop. 1998 Engelska
14-15 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
16-17 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
18-19 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.