Formal Methods and Software Engineering Kazuhiro Ogata, Mark Lawford & Shaoying Liu: другие книги

Rewriting Logic and Its Applications

2024