Zum Inhalt springen

  1. Monin, Jean-François [VerfasserIn]; Monin, Jean François [VerfasserIn] ; Hinchey, Michael Gerard [Sonstige Person, Familie und Körperschaft]

    Understanding formal methods

    Bücher
    Schließen

    Merkliste

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

    London; Berlin; Heidelberg [u.a.]: Springer, 2003

  4. Smith, Graeme P. [Sonstige Person, Familie und Körperschaft]; Pol, Jaco C. van de [Sonstige Person, Familie und Körperschaft]; Romijn, Judi M. [HerausgeberIn] ; IFM 5 2005 Eindhoven

    Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; 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, 2005

    Erschienen in: Lecture notes in computer science ; 3771

  5. Hutter, Dieter [HerausgeberIn] ; International Workshop on Current Trends in Applied Formal Methods 1998 Boppard

    Applied formal methods - FM trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 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 [u.a.]: Springer, 1999

    Erschienen in: Lecture notes in computer science ; 1641

  6. Boer, Frank S. de [Sonstige Person, Familie und Körperschaft]; Bonsangue, Marcello M. [Sonstige Person, Familie und Körperschaft]; Graf, Susanne [Sonstige Person, Familie und Körperschaft]; Roever, Willem Paul de [Sonstige Person, Familie und Körperschaft]; Boer, Frank S. de [HerausgeberIn] ; FMCO 5 2006 Amsterdam

    Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 ; revised lectures

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

    Erschienen in: Lecture notes in computer science ; 4709

  7. Aichernig, Bernhard K. [HerausgeberIn]; Maibaum, Tom [HerausgeberIn]; Haeberer, Armando Martín [GefeierteR] ; International Institute for Software Technology

    Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNI/IISI, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers

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

    Erschienen in: Lecture notes in computer science ; 2757

  9. Groves, Lindsay [HerausgeberIn] ; FMP 1997 Wellington, Australasian Refinement Workshop 6 1997 Wellington, New Zealand Formal Program Development Colloquium 3 1997 Wellington

    Formal methods Pacific '97 : proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand ; [combined conference incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium]

    Bücher
    Schließen

    Merkliste

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

    Singapore; Berlin; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Springer series in discrete mathematics and theoretical computer science

  11. Molzberger, Peter [HerausgeberIn]; Zemanek, Georg V. [Sonstige Person, Familie und Körperschaft] ; Association for Computing Machinery German Chapter

    Software-Entwicklung: kreativer Prozeß oder formales Problem? : Seminar d. German Chapter of the ACM ...

    Bücher
    Schließen

    Merkliste

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

    Stuttgart: Teubner, 1985

    Erschienen in: Association for Computing Machinery: Berichte des German Chapter of the ACM ; 22

  16. Lau, Kung-Kiu [HerausgeberIn]; Banach, Richard [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 7 2005 Manchester

    Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; 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, 2005

    Erschienen in: Lecture notes in computer science ; 3785

  17. Kreowski, Hans-Jörg [HerausgeberIn]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Taentzer, Gabriele [Sonstige Person, Familie und Körperschaft]; Ehrig, Hartmut [GefeierteR]

    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

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

    Erschienen in: Lecture notes in computer science ; 3393

  18. Margaria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 1 2004 Paphos

    Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

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

    Erschienen in: Lecture notes in computer science ; 4313

  19. Petrenko, Alexandre [HerausgeberIn] ; International Workshop on Formal Approaches to Testing of Software 3 2003 Montréal

    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers

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

    Erschienen in: Lecture notes in computer science ; 2931