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...
Open Access
Software Specification Methods
1. Aufl., 2010
Volltextzugriff (PDF)



Lecture notes in computer science, 2004, p.166-184
2004
Volltextzugriff (PDF)

UML Z Augmenting UML with Z
Software Specification Methods, 2006, p.81-102
2006
Volltextzugriff (PDF)

ASM
Software Specification Methods, 2006, p.103-119
2006
Volltextzugriff (PDF)

Software Specification Methods, 2006, p.351-363
2006
Volltextzugriff (PDF)

Petri Nets
Software Specification Methods, 2006, p.311-328
2006
Volltextzugriff (PDF)

SAZ
Software Specification Methods, 2006, p.21-39
2006
Volltextzugriff (PDF)

Petri Nets with Objects
Software Specification Methods, 2006, p.329-349
2006
Volltextzugriff (PDF)

Estelle
Software Specification Methods, 2006, p.197-213
2006
Volltextzugriff (PDF)

Event B
Software Specification Methods, 2006, p.157-177
2006
Volltextzugriff (PDF)

VHDL
Software Specification Methods, 2006, p.179-196
2006
Volltextzugriff (PDF)

SDL
Software Specification Methods, 2006, p.215-232
2006
Volltextzugriff (PDF)

TLA
Software Specification Methods, 2006, p.121-135
2006
Volltextzugriff (PDF)

E LOTOS
Software Specification Methods, 2006, p.233-258
2006
Volltextzugriff (PDF)

Coq
Software Specification Methods, 2006, p.293-309
2006
Volltextzugriff (PDF)

CASL
Software Specification Methods, 2006, p.275-292
2006
Volltextzugriff (PDF)

Action Systems
Software Specification Methods, 2006, p.137-155
2006
Volltextzugriff (PDF)

From UML Diagrams to B Specifications
Software Specification Methods, 2006, p.59-79
2006
Volltextzugriff (PDF)

Z
Software Specification Methods, 2006, p.1-20
2006
Volltextzugriff (PDF)

B
Software Specification Methods, 2006, p.41-57
2006
Volltextzugriff (PDF)

EB3
Software Specification Methods, 2006, p.259-274
2006
Volltextzugriff (PDF)


Software Specification Methods
Software Specification Methods, 2006
2006
Volltextzugriff (PDF)