I agree that this site is using cookies. You can find further informations here.
X
23  results:
?
1

Parallel programming with co-arrays 

Chapman & Hall/CRC Computational Science
Numrich, Robert W. , [© 2019]
Link: https://doi.org/10.1201/..
 
?
2

Modellierung 

Grundlagen und formale Methoden  Hanser eLibrary
Kastens, Uwe ; Kleine Büning, Hans - 4., erweiterte Auflage . , [2018]
Link: https://doi.org/10.3139/..
 
?
3

Formal Methods for Discrete-Time Dynamical Systems 

Studies in Systems, Decision and Control ; 89;SpringerLink, Bücher
Belta, Calin ; Yordanov, Boyan ; Aydin Gol, Ebru , 2017
Link: http://suub-bremen.ciand..
 
?
4

Modellierung 

Grundlagen und formale Methoden  Hanser eLibrary
Kastens, Uwe - 3., überarb. Aufl. . , 2014
Link: https://doi.org/10.3139/..
 
?
5

Software abstractions 

logic, language and analysis 
Jackson, Daniel - Rev. ed. . , 2012
Copies:  Zentrale:E02 a inf 350 for/949
 
?
6

Logic in computer science 

modelling and reasoning about systems 
Huth, Michael - 2. ed. . , 2011
Copies:  Zentrale:E02 a inf 410 ef/322(2)a
 
?
7

An introduction to practical formal methods using temporal ..:

Fisher, Michael , 2011
Copies:  Zentrale:E02 a inf 410 ef/251
 
?
8

Formale Modelle der Softwareentwicklung 

Model-Checking, Verifikation, Analyse und Simulation  Studium, Datenbanken und Softwareentwicklung;Datenbanken und Softwareentwicklung
Kleuker, Stephan - 1. Aufl. . , 2009
Copies:  Zentrale:E02 a inf 350 for/126; TB BHV: com 466/27
 
?
9

Practical formal software engineering 

wanting the software you get 
Mills, Bruce , 2009
Copies:  Zentrale:E02 a inf 350 for/501
 
?
10

Real-time systems: formal specification and automatic verif..:

Olderog, Ernst-Rüdiger , 2008
Copies:  Zentrale:E02 a inf 350 for/817; Zentrale:E02 a inf 350 for/817a
 
?
11

Modellierung 

Grundlagen und formale Methoden ; [für Bachelor geeignet] 
Kastens, Uwe - 2., überarb. und erw. Aufl. . , 2008
Copies:  Zentrale:E02 a inf 350 for/567(2)
 
?
12

Software abstractions 

logic, language, and analysis 
Jackson, Daniel , 2006
Copies:  Zentrale:E02 a inf 350 for/948
 
?
13

Constructing correct software:

Cooke, John - 2. ed. . , 2005
Copies:  Zentrale:E02 a inf 350 for/250(2)
 
?
14

Logic in computer science 

modelling and reasoning about systems 
Huth, Michael - 2. ed., repr. . , 2005
Copies:  Zentrale:E02 a inf 410 ef/322(2)
 
?
15

Formale Methoden in der Praxis 

Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung...  Öffentliche Vorlesungen / Humboldt-Universität zu Berlin ; 138
Schlingloff, Bernd-Holger , 2005
Copies:  Zentrale:Magazin bk 5130
 
1-15