Zum Inhalt springen

  1. Blass, Andreas [Herausgeber:in]; Gurevich, Yuri [Gefeierte:r]; Dershowitz, Nachum [Sonstige Person, Familie und Körperschaft]; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Fields of logic and computation : essays dedicated to Yuri Gurevich 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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6300

  2. Barthe, Gilles [Herausgeber:in]; Pardo, Alberto [Sonstige Person, Familie und Körperschaft]; Schneider, Gerardo [Sonstige Person, Familie und Körperschaft] ; SEFM 9 2011 Montevideo

    Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 7041

  4. Beckert, Bernhard [Herausgeber:in]; Hähnle, Reiner [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]; Leino, K. Rustan M. [Sonstige Person, Familie und Körperschaft]

    Verification of object-oriented software: The KeY approach

    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 ; 4334

  5. Alpuente, María [Herausgeber:in]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

    Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5825

  6. Leue, Stefan [Herausgeber:in]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

    Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; 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, 2008

    Erschienen in: Lecture notes in computer science ; 4916

  7. Brim, Luboš [Herausgeber:in]; Haverkort, Boudewijn [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]; Pol, Jaco van de [Sonstige Person, Familie und Körperschaft] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

    Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4346

  9. Cofer, Darren [Herausgeber:in]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; 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 ; 5596

  10. Paskevich, Andrei [Herausgeber:in]; Wies, Thomas [Herausgeber:in]

    Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, 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 ; 10712

  11. Brim, Luboš [Sonstige Person, Familie und Körperschaft]; Haverkort, Boudewijn [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]; Pol, Jaco van de [Sonstige Person, Familie und Körperschaft]

    Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification

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

    Erschienen in: Lecture notes in computer science ; 4346

  12. Beckert, Bernhard [Sonstige Person, Familie und Körperschaft]; Hähnle, Reiner [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]

    Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

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

    Erschienen in: Lecture notes in computer science ; 4334

  13. Blazy, Sandrine [Herausgeber:in]; Chechik, Marsha [Herausgeber:in]

    Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 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, 2016

    Erschienen in: Lecture notes in computer science ; 9971

  14. Chakraborty, Supratik [Herausgeber:in]; Navas, Jorge A. [Herausgeber:in]

    Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers - [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 ; 12031- Springer eBook Collection

  15. Cohen, Ernie [Verfasser:in] ; Rybalchenko, Andrey [Herausgeber:in]

    Verified Software: Theories, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, 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, 2014

    Erschienen in: Lecture notes in computer science ; 8164

  16. Brat, Guillaume [Verfasser:in] ; Rungta, Neha [Sonstige Person, Familie und Körperschaft]; Venet, Arnaud [Sonstige Person, Familie und Körperschaft]

    NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 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 ; 7871

  17. Barthe, Gilles [Verfasser:in] ; Pardo, Alberto [Sonstige Person, Familie und Körperschaft]; Schneider, Gerardo [Sonstige Person, Familie und Körperschaft]

    Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 7041

  18. Blass, Andreas [Verfasser:in] ; Dershowitz, Nachum [Sonstige Person, Familie und Körperschaft]; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich 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 Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6300

  19. Cofer, Darren [Sonstige Person, Familie und Körperschaft]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, 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 ; 5596

  20. Alpuente, María [Verfasser:in] ; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. 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, 2009

    Erschienen in: Lecture notes in computer science ; 5825