Relational and Algebraic Methods in Computer Science Jules Desharnais, Walter Guttmann & Stef Joosten: другие книги

Mathematics of Program Construction

2010