Bibliothek Systemsoftware
Benutzer
Paßwort
7 Theoretische Informatik
Alle Bücher anzeigen
- -
0 Allgemeines
1 Programmieren
2 Programmiersprachen
3 Betriebssysteme u.System
4 Angewandte Inf.
5 Technische Inf.
6 Systemliteratur
7 Theoretische Inf.
8 Mathematik
9 Sonstiges
10 Elektronische Medien
11 Sonstige Druckwerke
Edmund M. Clarke :
Model Checking
, [1483] , <HP>
G. Winskel :
The Formal Semantics of Programming Languages
,
An Introduction
, [0918] , {16335} , <SSW>
Gerard J. Holzmann :
The Spin Model Checker
,
Primer and Reference Manual
, [1492] , <HP>
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
4 - 6 / 6
