FEEDBACK Smiley face

Your search returned 6 results. Subscribe to this search

|
1. ZUM '97: The Z Formal Specification Notation [electronic resource] :10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings /

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | Till, David [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, 1997.Online access: Click here to access online Availability: No items available

2. 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

3. Formal Methods and Testing [electronic resource] :An Outcome of the FORTEST Network, Revised Selected Papers /

by Hierons, Robert M [editor.] | Bowen, Jonathan P [editor.] | Harman, Mark [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, 2008.Online access: Click here to access online Availability: No items available

4. Abstract State Machines, B and Z [electronic resource] :First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

by Börger, Egon [editor.] | Butler, Michael [editor.] | Bowen, Jonathan P [editor.] | Boca, Paul [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, 2008.Online access: Click here to access online Availability: No items available

5. Unifying Theories of Programming [electronic resource] :6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /

by Bowen, Jonathan P [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017.Online access: Click here to access online Availability: No items available

6. Engineering Trustworthy Software Systems [electronic resource] :Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017.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