Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Understanding programming languages
1996
Signatur: TXK1586

Principles of the spin model checker
[2008]
Signatur: TWQ12135

(2. ed.), 4. print, 2004
Signatur: TVC1473(2)
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Autor / Autorin
Erscheinungsform
Erscheinungsjahr
n.n
n.n
Sprache
Systemstelle
Art des Inhalts