- LNCS408
- -M. Leeser/G. Brown (Eds.): Hardware Specification, Verification and Synthesis: Mathematical Aspects, Proceedings 1989, Springer-Verlag 1990
Acronyms. 2013.
Acronyms. 2013.
LNCS408 — M. Leeser/G. Brown (Eds.): Hardware Specification, Verification and Synthesis: Mathematical Aspects, Proceedings 1989, Springer Verlag 1990 … Acronyms von A bis Z