Author books / Книги автора Egon Börger (auth.) Dieter Hutter Werner Stephan Paolo Traverso Markus Ullmann (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Egon Börger (auth.) Dieter Hutter Werner Stephan Paolo Traverso Markus Ullmann (eds.)

book Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

pdf

Author: Egon Börger (auth.) Dieter Hutter Werner Stephan Paolo Traverso Markus Ullmann (eds.)
Language: English
Year: 1999

00

26.01.2024

3

0