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.