FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
Uložené v:
| Hlavný autor: | |
|---|---|
| Korporativný autor: | |
| Ďalší autori: | , |
| Médium: | Konferenčný príspevok.. Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Berlin :
Springer,
1993
|
| Vydanie: | [1st ed.] |
| Edícia: | Lecture notes in computer science
Vol. 670 |
| Predmet: | |
| ISBN: | 3540566627 |
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Internet
CVTI sklad absenčný
| Signatúra: |
A546825 |
|---|---|
| Exemplár | Dostupný |