Author books / Книги автора C. A. R. Hoare (auth.) Marie-Claude Gaudel James Woodcock (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора C. A. R. Hoare (auth.) Marie-Claude Gaudel James Woodcock (eds.)

book FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

djvu

Author: C. A. R. Hoare (auth.) Marie-Claude Gaudel James Woodcock (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0