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...
Link-Resolver
Autor(en)
Wright, Stephen
Artikel
Using Event-B to construct instruction set architectures
Titel
Formal aspects of computing.
Verlag
Springer Verlag
Ort
London :
Erscheinungsjahr
1989
Es wurden folgende elektronische Volltexte gefunden