Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Formal Systems Specification The RPC-Memory Specification Case Study

Formal systems specification the RPC-memory specification case study

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Formal systems specification
ID: 1487580