Author: Jacky, Jonathan
Title: THE WAY OF Z. Practical Programming with Formal Methods.
Description: New York, Cambridge University Press, 2001. 1st reprinted 350 pages. Pb. Cover with minor edgewear. very good condition

Keywords: wetenschap, Informatica, ,