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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...





Lecture notes in computer science, 2005, p.222-241
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.85-103
2005
Volltextzugriff (PDF)

CZT: A Framework for Z Tools
Lecture notes in computer science, 2005, p.65-84
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.6-23
2005
Volltextzugriff (PDF)

ZB 2005: Formal Specification and Development in Z and B, p.334-354
Volltextzugriff (PDF)



Lecture notes in computer science, 2005, p.104-123
2005
Volltextzugriff (PDF)

Process Refinement in B
Lecture notes in computer science, 2005, p.45-64
2005
Volltextzugriff (PDF)

Non-atomic Refinement in Z and CSP
Lecture notes in computer science, 2005, p.24-44
2005
Volltextzugriff (PDF)


Lecture notes in computer science, 2005, p.242-261
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.187-202
2005
Volltextzugriff (PDF)


Lecture notes in computer science, 2005, p.142-161
2005
Volltextzugriff (PDF)

Component Reuse in B Using ACL2
Lecture notes in computer science, 2005, p.279-298
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.393-413
2005
Volltextzugriff (PDF)



Lecture notes in computer science, 2005, p.414-433
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n