FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

|
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 /

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | Henson, Martin C [editor.] | Robinson, Ken [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available

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 /

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | King, Steve [editor.] | Waldén, Marina [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in