Formal methods for trustworthy computer systems (FM89) : report from FM89: A workshop on the assessment of formal methods for trustworthy computer systems, 23-27 July 1989, Halifax /
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | |
| Format: | Conference Proceeding Knjiga |
| Jezik: | English |
| Izdano: |
London [etc.] :
Springer-Verlag,
1990.
|
| Serija: | Workshop in computing
|
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
Vzdrževanje sistema
Trenutno vzdržujemo knjižnični informacijski sistem.
Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: