Skip to contents

Monin, Jean-François [Author]; Monin, Jean François [Author] ; Hinchey, Michael Gerard [Other]

Understanding formal methods

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London; Berlin; Heidelberg [u.a.]: Springer, 2003
Krieg-Brückner, Bernd [Other] ; Universität Bremen Fachbereich Mathematik, Informatik

UniForM workbench : universelle Entwicklungsumgebung für formale Methoden

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bremen: Univ., Fachbereich Mathematik und Informatik, 1995

Published in: Informatik ; 95,8
Ford, Neville J. [Author]; Ford, Judith M. [Author]

Introducing formal methods : a less mathematical approach - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: Ellis Horwood, 1993

Published in: Ellis Horwood series in computers and their applications
Tamminga, Allard [Author] ; Riedel, Katharina [Editor] Universität Greifswald

Formale Methoden in der philosophischen Forschung : Antrittsvorlesung an der Universität Greifswald

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Greifswald: Universität Greifswald, 2023

Published in: Greifswalder Universitätsreden ; NF,156
Priami, Corrado [Editor]

Transactions on Computational Systems Biology / 12, Special issue on modeling methodologies / Corrado Priami ... (ed.)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Transactions on Computational Systems Biology ; 12 - Lecture notes in computer science ; 5945
Spies, Katharina [Author]

Eine Methode zur formalen Modellierung von Betriebssystemkonzepten

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: SFB 342, 1998

Published in: Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen: SFB-Bericht / A ; 98,3 - Technische Universität München: Institut für Informatik, Technische Universität München ; 98,9
Voss, Markus [Author]

Systemobjektorientierte strukturierte Analyse und dienstorientierter Entwurf als Konstruktionsmethodik im Rahmen einer Informatiksystemtechnik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1997
Peleska, Jan [Author]

Formal methods and the development of dependable systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612
Schagaev, Igor [Author]; Kaegi-Trachsel, Thomas [Author]

Software design for resilient computer systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, [2016]
Aldini, Alessandro [Editor] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6154
Peled, Doron [Author]

Software reliability methods

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY; Berlin; Heidelberg [u.a.]: Springer, c 2001

Published in: Texts in computer science
Schober, Jochen [Author]

Analyse kryptographischer Protokolle - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 1998

Published in: Berichte aus der Mathematik
Ehrenberger, Wolfgang D. [Editor] ; SAFECOMP 17 1998 Heidelberg

Computer safety, reliability and security : 17th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1516
Höreth, Stefan [Author]

Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 1999

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 29500
Herrmann, Peter [Author]

Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: DUV, Dt. Univ.-Verl. [u.a.], 1998

Published in: DUV ; Informatik
Medvedev, Pavel Nikolaevič [Author] ; Glück, Helmut [Other]; Striedter, Jurij [Other]

Die formale Methode in der Literaturwissenschaft

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Metzler, 1976

Published in: Studien zur allgemeinen und vergleichenden Literaturwissenschaft ; 8
Méry, Dominique [Editor]; Merz, Stephan [Other] ; IFM 8 2010 Nancy

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6396
Bernardo, Marco [Editor]; Padovani, Luca [Other]; Zavattaro, Gianluigi [Other] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 9 2009 Bertinoro

Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5569
Leuschel, Michael [Editor]; Wehrheim, Heike [Other] ; IFM 7 2009 Düsseldorf

Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5423
Abrial, Jean-Raymond [Editor]; Börger, Egon [Honoree]; Glässer, Uwe [Other]

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5115

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication