- LNCS1393
- -D. Bert (Ed.): B'98: Recent Advances in the Development and Use of the B Method. Proceedings, Springer-Verlag 1998
Acronyms. 2013.
LNCS1393
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1393 — D. Bert (Ed.): B 98: Recent Advances in the Development and Use of the B Method. Proceedings, Springer Verlag 1998 … Acronyms von A bis Z
