Карпов Ю. Г. -Портал SamoLit.com https://samolit.com/authors/20730/ СамоЛит - сайт независимых авторов https://samolit.com/gif/samolit_logo.png https://samolit.com Портал SamoLit.com Ю. Г. Карпов «Model Checking. Верификация параллельных и распределенных программных систем» - Книги на SamoLit.com https://samolit.com/books/66379/ Ю. Г. Карпов Tue, 30 Jun 2015 15:10:00 +0000