Author books / Книги автора Gerard J. Holzmann (auth.) Tiziana Margaria Bernhard Steffen (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Gerard J. Holzmann (auth.) Tiziana Margaria Bernhard Steffen (eds.)

book Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

pdf

Author: Gerard J. Holzmann (auth.) Tiziana Margaria Bernhard Steffen (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

djvu

Author: Gerard J. Holzmann (auth.) Tiziana Margaria Bernhard Steffen (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0