Spivey, J.M. <br/><br/>
Understanding Z :  a specification language and its formal semantics / 
J.M. Spivey. 
 - N.Y. :  Cambridge University Press,  2008 
 - 131 p. 
 - Cambridge tracts in theoretical computer science. .
<br/><br/><label>ISBN: </label>9780521054140 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)<br/>Z (Computer program language)
<br/><br/><label>Subjects--Index Terms: </label>Lập trình Ngôn ngữ Z Ngôn ngữ lập trình 
<br/><br/><label>Dewey Class. No.: </label>005.13/3  / SPI 2008