969 19 52KB
Report DMCA / Copyright
DOWNLOAD FILE
535 151 2MB Read more
509 196 251KB Read more
657 55 915KB Read more
615 254 365KB Read more
506 55 615KB Read more
1,461 326 408KB Read more
592 304 888KB Read more
Nancy Dunnan New York Madrid Chicago Mexico City San Francisco Milan Singapore New Delhi Sydney Lisbon London
1,476 593 1010KB Read more
Using Z Specification, Refinement, and Proof Jim Woodcock University of Oxford Jim Davies University of Oxford Copyri
365 73 5MB Read more
Peter van Inwagen Analysis, Vol. 40, No. 2. (Mar., 1980), pp. 98-100. Stable URL: http://links.jstor.org/sici?sici=0003
280 69 116KB Read more