Zum Inhalt springen

  2. Meyer, Bertrand [Herausgeber:in]; Woodcock, Jim [Ausführende:r] ; VSTTE 1 2005 Zürich

    Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions

    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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4171

  3. Shankar, Natarajan [Herausgeber:in]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; VSTTE 2 2008 Toronto

    Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; 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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5295

  4. Woodcock, Jim [Herausgeber:in]; Woodcock, James C. P. [Herausgeber:in]; Larsen, Peter Gorm [Sonstige Person, Familie und Körperschaft] ; Europäische Kommission Formal Methods Europe, FME 1 1993 Odense

    Industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 1993; 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, 1993

    Erschienen in: Lecture notes in computer science ; 670

  5. George, Chris W. [Herausgeber:in]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; Training School on Domain Modelling and Duration Calculus 2007 Schanghai

    Domain modeling and the duration calculus : International Training School, Shanghai, China, September 17-21, 2007 ; advanced 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.

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

    Erschienen in: Lecture notes in computer science ; 4710

  6. Cavalcanti, Ana [Herausgeber:in]; Sampaio, Augusto [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; Pernambuco Summer School on Software Engineering 1 2004 Recife

    Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 ; revised 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.

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

    Erschienen in: Lecture notes in computer science ; 3167

  7. Bird, Richard [Herausgeber:in]; Morgan, Charles Carroll [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; International Conference on Mathematics of Program Construction 2 1992 Oxford

    Mathematics of program construction : second international conference, Oxford, U.K., June 29 - July 3, 1992 ; 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 [u.a.]: Springer, 1993

    Erschienen in: Mathematics of program construction ; 1992,2 - Lecture notes in computer science ; 669

  8. Cavalcanti, Ana [Herausgeber:in]; Deharbe, David [Sonstige Person, Familie und Körperschaft]; Gaudel, Marie-Claude [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; ICTAC 7 2010 Natal, Rio Grande do Norte

    Theoretical aspects of computing - ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; 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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6255

  9. Cavalcanti, Ana [Herausgeber:in]; Dongol, Brijesh [Herausgeber:in]; Hierons, Rob [Herausgeber:in]; Timmis, Jon [Herausgeber:in]; Woodcock, Jim [Herausgeber:in]

    Software engineering for robotics

    Bücher
    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 AG, 2021

  10. Oliveira, Marcel Vinícius Medeiros [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]; Medeiros Oliveira, Marcel Vinícius [Herausgeber:in] ; Brazilian Symposium on Formal Methods 12 2009 Gramado

    Formal methods: foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; 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.

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

    Erschienen in: Lecture notes in computer science ; 5902

  11. Jones, Cliff B. [Herausgeber:in]; Bjoerner, Dines [Gefeierte:r]; Zhou, Chaochen [Gefeierte:r]; Bjørner, Dines [Gefeierte:r]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; ICTAC 4 2007 Macau

    Formal methods and hybrid real-time systems : essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]

    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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4700

  12. Oliveira, Marcel Vinícius Medeiros [Verfasser:in] ; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]

    Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5902

  13. Dong, Jin Song [Verfasser:in] ; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]

    Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 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, 2003

    Erschienen in: Lecture notes in computer science ; 288500

  14. Wing, Jeannette M. [Verfasser:in] ; Davies, Jim [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]

    FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

    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, 1999

    Erschienen in: Lecture notes in computer science ; 1708

  15. Wing, Jeannette M. [Verfasser:in] ; Davies, Jim [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]

    FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

    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, 1999

    Erschienen in: Lecture notes in computer science ; 1709

  16. Liu, Zhiming [Verfasser:in] ; Woodcock, Jim [Herausgeber:in]; Zhu, Huibiao [Herausgeber:in]

    Theoretical Aspects of Computing – ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. 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, 2013

    Erschienen in: Lecture notes in computer science ; 8049

  17. Liu, Zhiming [Verfasser:in] ; Woodcock, Jim [Herausgeber:in]; Zhu, Huibiao [Herausgeber:in]

    Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

    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, 2013

    Erschienen in: Lecture notes in computer science ; 8051

  18. Liu, Zhiming [Verfasser:in] ; Woodcock, Jim [Herausgeber:in]; Zhu, Huibiao [Herausgeber:in]

    Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced 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.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8050

  19. Meyer, Bertrand [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]

    Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

    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, 2008

    Erschienen in: Lecture notes in computer science ; 4171

  20. Qin, Shengchao [Herausgeber:in]; Woodcock, Jim [Herausgeber:in]; Zhang, Wenhui [Herausgeber:in]

    Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings - [1st ed. 2021.]

    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, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Programming and Software Engineering ; 13071