Zum Inhalt springen

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

Understanding formal methods

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
Krieg-Brückner, Bernd [Sonstige Person, Familie und Körperschaft] ; Universität Bremen Fachbereich Mathematik, Informatik

UniForM workbench : universelle Entwicklungsumgebung für formale Methoden

Schließen

Merkliste

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

Bremen: Univ., Fachbereich Mathematik und Informatik, 1995

Erschienen in: Informatik ; 95,8
Ford, Neville J. [VerfasserIn]; Ford, Judith M. [VerfasserIn]

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

Schließen

Merkliste

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

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

Erschienen in: Ellis Horwood series in computers and their applications
Tamminga, Allard [VerfasserIn] ; Riedel, Katharina [HerausgeberIn] Universität Greifswald

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

Schließen

Merkliste

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

Greifswald: Universität Greifswald, 2023

Erschienen in: Greifswalder Universitätsreden ; NF,156
Priami, Corrado [HerausgeberIn]

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

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: Transactions on Computational Systems Biology ; 12 - Lecture notes in computer science ; 5945
Peleska, Jan [VerfasserIn]

Formal methods and the development of dependable systems

Schließen

Merkliste

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

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

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612
Spies, Katharina [VerfasserIn]

Eine Methode zur formalen Modellierung von Betriebssystemkonzepten

Schließen

Merkliste

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

München: SFB 342, 1998

Erschienen 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 [VerfasserIn]

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

Schließen

Merkliste

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

1997
Schagaev, Igor [VerfasserIn]; Kaegi-Trachsel, Thomas [VerfasserIn]

Software design for resilient computer systems

Schließen

Merkliste

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

Cham: Springer, [2016]
Aldini, Alessandro [HerausgeberIn] ; 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

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 ; 6154
Höreth, Stefan [VerfasserIn]

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

Schließen

Merkliste

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

Düsseldorf: VDI-Verl., 1999

Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 29500
Peled, Doron [VerfasserIn]

Software reliability methods

Schließen

Merkliste

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

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

Erschienen in: Texts in computer science
Schober, Jochen [VerfasserIn]

Analyse kryptographischer Protokolle - [Als Ms. gedr.]

Schließen

Merkliste

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

Aachen: Shaker, 1998

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

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

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

Erschienen in: Lecture notes in computer science ; 1516
Herrmann, Peter [VerfasserIn]

Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Schließen

Merkliste

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

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

Erschienen in: DUV ; Informatik
Medvedev, Pavel Nikolaevič [VerfasserIn] ; Glück, Helmut [Sonstige Person, Familie und Körperschaft]; Striedter, Jurij [Sonstige Person, Familie und Körperschaft]

Die formale Methode in der Literaturwissenschaft

Schließen

Merkliste

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

Stuttgart: Metzler, 1976

Erschienen in: Studien zur allgemeinen und vergleichenden Literaturwissenschaft ; 8
Méry, Dominique [HerausgeberIn]; Merz, Stephan [Sonstige Person, Familie und Körperschaft] ; IFM 8 2010 Nancy

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

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 ; 6396
Hierons, Robert M. [HerausgeberIn]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Harman, Mark [Sonstige Person, Familie und Körperschaft]

Formal methods and testing : an outcome of the FORTEST network ; revised selected papers

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 ; 4949
Bernardo, Marco [HerausgeberIn]; Padovani, Luca [Sonstige Person, Familie und Körperschaft]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft] ; 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

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 ; 5569
Leuschel, Michael [HerausgeberIn]; Wehrheim, Heike [Sonstige Person, Familie und Körperschaft] ; IFM 7 2009 Düsseldorf

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

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr