ISBN-13: 9780898711646 / Angielski
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Czytaj nas na: