Thomson Publishing

All publishers Website

Books published by Thomson Publishing

Formal Specification and Documentation using Z: A Case Study Approach

Post date: 11 Jun 2005
Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.
Publisher: Thomson Publishing
Publication date: 01 Feb 1996
 
Formal Specification and Documentation using Z: A Case Study Approach

Formal Specification and Documentation using Z: A Case Study Approach

Post date: 11 Jun 2005
Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.
Publisher: Thomson Publishing
Publication date: 01 Feb 1996


Book Categories
Sponsors