- LNCS428
- -D. Bjorner/C. A. R. Hoare/H. Langmaack (Eds.): VDM'90.•and Z-Formal Methods in Software Development, Proceedings 1990, Springer-Verlag 1990
Acronyms. 2013.
LNCS428
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS428 — D. Bjorner/C. A. R. Hoare/H. Langmaack (Eds.): VDM 90. [3]and Z Formal Methods in Software Development, Proceedings 1990, Springer Verlag 1990 … Acronyms von A bis Z
