Online Library TheLib.net » Author books / Книги автора Eran Gery David Harel Eldad Palachi (auth.) Michael Butler Luigia Petre Kaisa Sere (eds.)
book Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
pdf
00
27.01.2024
0
0
Read online
book Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
pdf
00
27.01.2024
0
0
Read online