Top 697 staps users PDF Book Page 27

book image

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

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)
·546 Pages
·2002
·3.54 MB

book image

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

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)
·558 Pages
·2003
·4.309 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.