Вики

Эдмунд М. Кларк

/

Эдмунд М. Кларк Биография Эдмунда М. Кларка Американский ученый-компьютерщик, известен разработкой model checking.  Профессор компьютерных наук FORE Systems в Университете […]