The Way of Z: Practical Programming with Formal Methods
Edit Page
Report
Scan day: 16 February 2014 UTC
2
Virus safety - good
Description: By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University of Washington]
Practical Programming with Formal Methods The Way of Z: Practical Programming with Formal Methods Jonathan Jacky, Cambridge University Press, 1997 ISBN 0-521-55976-6 (pbk., $35.00/
Size: 180 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The Way of Z |
| Keywords: | |
| Description: | |
| IP-address: | 128.95.155.137 |
WHOIS Info
| NS | Name Servers: HANNA.CAC.WASHINGTON.EDU 140.142.5.5 MARGE.CAC.WASHINGTON.EDU 140.142.5.13 |
| WHOIS | |
| Date | activated: 04-Sep-1986 last updated: 21-Dec-2010 expires: 31-Jul-2014 |