FEEDBACK Smiley face

Your search returned 11 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. ZUM ’98: The Z Formal Specification Notation [electronic resource] :11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /

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

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

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

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

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

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

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

9. Engineering Trustworthy Software Systems [electronic resource] :4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /

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

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

10. Museums and Digital Culture [electronic resource] :New Perspectives and Research /

by Giannini, Tula [editor.] | Bowen, Jonathan P [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, 2019Online access: Click here to access online Availability: No items available

11. Engineering Trustworthy Software Systems [electronic resource] :Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /

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

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