Author books / Книги автора Edmund M. Clarke William Klieber (auth.) Bertrand Meyer Martin Nordio (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Edmund M. Clarke William Klieber (auth.) Bertrand Meyer Martin Nordio (eds.)

book Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

pdf

Author: Edmund M. Clarke William Klieber (auth.) Bertrand Meyer Martin Nordio (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0