 |
| | Results | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
search history |  |
| |
|
shortlist | |
| |
|
title data | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 4 of 4 |
| ||
 |
results | search (Subject headings (XSP)) abgesetzter aufruf restrict (Basic classification (XBKL)) 54.32 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Formal Systems Specification : The RPC-Memory Specification Case Study Broy, Manfred *1949-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996 |
|
| |||
|
2. |
Formal systems specification : the RPC-memory specification case study Broy, Manfred. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996 |
|
| |||
 |
3. |
Formal systems specification : the RPC-memory specification case study Broy, Manfred *1949-*. - Berlin : Springer, 1996 |
|
| |||
|
4. |
Geschützte Objektreferenzen und dynamische Typisierung in verteilten heterogenen Systemen Heite, Reinhard. - Als Ms. gedr. - Düsseldorf : VDI-Verl., 1996 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 4 of 4 |
|
|
|
1 - 4 of 4 |
|
|||||||||||||||||||||||||