Zum Inhalt springen

  5. Bowen, Jonathan P. [HerausgeberIn]; Fett, Andreas [HerausgeberIn]; Hinchey, Mike [HerausgeberIn] ; ZUM 11 1998 Berlin

    ZUM '98: The Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998, proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg; New York: Springer, 1998

    Erschienen in: Lecture notes in computer science ; 1493

  8. Börger, Egon [HerausgeberIn]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft] ; ABZ 1 2008 London

    Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5238

  9. Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft] ; ZUM 9 1995 Limerick

    ZUM '95: the Z formal specification notation ; 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1995 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 96700

  10. Bowen, Jonathan P. [HerausgeberIn]; Zhu, Huibiao [HerausgeberIn]

    Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10134

  11. Bowen, Jonathan P. [VerfasserIn] ; Fett, Andreas [Sonstige Person, Familie und Körperschaft]; Hinchey, Michael G. [Sonstige Person, Familie und Körperschaft]

    ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1493

  12. Bowen, Jonathan P. [VerfasserIn] ; Hinchey, Michael G. [Sonstige Person, Familie und Körperschaft]; Till, David [Sonstige Person, Familie und Körperschaft]

    ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1212

  13. Bowen, Jonathan P. [VerfasserIn] ; Hinchey, Michael G. [Sonstige Person, Familie und Körperschaft]

    ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 967

  14. Bowen, Jonathan P. [HerausgeberIn]; Liu, Zhiming [HerausgeberIn]; Zhang, Zili [HerausgeberIn]

    Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10215

  15. Bert, Didier [VerfasserIn] ; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; King, Steve [Sonstige Person, Familie und Körperschaft]; Waldén, Marina [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2651

  16. Bowen, Jonathan P. [HerausgeberIn]; Li, Qin [HerausgeberIn]; Xu, Qiwen [HerausgeberIn]

    Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday - [1st ed. 2023.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Erschienen in: Lecture Notes in Computer Science ; 14080

  17. Bowen, Jonathan P. [HerausgeberIn]; Liu, Zhiming [HerausgeberIn]; Zhang, Zili [HerausgeberIn]

    Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Programming and Software Engineering ; 11430- Springer eBooks ; Computer Science

  18. Bowen, Jonathan P. [HerausgeberIn]; Liu, Zhiming [HerausgeberIn]; Zhang, Zili [HerausgeberIn]

    Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures - [1st ed. 2020.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Programming and Software Engineering ; 12154- Springer eBook Collection

  19. Bowen, Jonathan P. [HerausgeberIn]; Liu, Zhiming [HerausgeberIn]; Zhang, Zili [HerausgeberIn]

    Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2018

    Erschienen in: Programming and Software Engineering ; 11174- SpringerLink ; Bücher

  20. Bowen, Jonathan P. [HerausgeberIn]; Diprose, Graham [HerausgeberIn]; Lambert, Nick [HerausgeberIn] ; Electronic Visualisation and the Arts Veranstaltung 2017 London, British Computer Society, British Computer Society

    Electronic Visualisation and the Arts (EVA 2017) : London, UK, 11-13 July 2017

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Swindon, UK; London; Eau Coulee, Mauritius; Colombo, Sri Lanka]: BCS, The Chartered Institute for IT, [2017?]

    Erschienen in: Electronic workshops in computing (eWiC)