Book serie: / Книги серии: Lecture Notes in Computer Science 873 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 873

book FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

djvu

Author: R. J. R. Back K. Sere (auth.) Maurice Naftalin Tim Denvir Miquel Bertran (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0