Formal Specification Books

by science-books.net and scientific-computing.info

[ Computer Science ] [ Physics ] [ Science ] [ Engineering ] [ Mathematics ]

[ Computer Programming ] [ Systems Analysis] [ Software Engineering ]

Books to download

The Z Notation by J. M. Spivey
Formal Specification and Documentation using Z: A Case Study Approach by J Bowen

<table border='0' cellpadding='0' cellspacing='0' width='300' height='250'><tr><td><MAP NAME='boxmap12'><AREA SHAPE='RECT' COORDS='6, 234, 61, 247' HREF='http://rcm-uk.amazon.co.uk/e/cm/privacy-policy.html?o=2' target=_top ><AREA COORDS='0,0,10000,10000' HREF='http://www.amazon.co.uk/exec/obidos/redirect/202-8411022-3792618?path=tg/browse/-/502584&tag=computationalaco&creative=@CCMID@&camp=@CAMPID@&link_code=@LINKCODE@' target=_top ></MAP><img src="http://images-eu.amazon.com/images/G/02/associates/recommends/300x250.gif" width=300 height=250 border="0" usemap="#boxmap12" width='300' height='250' access=regular></td></tr></table>

Search