Matches in Library of Congress for { <http://lccn.loc.gov/96013537> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 96013537 contributor B7751298.
- 96013537 created "1997.".
- 96013537 date "1997".
- 96013537 date "1997.".
- 96013537 dateCopyrighted "1997.".
- 96013537 description "Includes bibliographical references (p. [328]-339) and index.".
- 96013537 extent "xviii, 350 p. :".
- 96013537 identifier "0521550416 (hbk.)".
- 96013537 identifier "0521559766 (pbk.)".
- 96013537 identifier 96013537.html.
- 96013537 identifier 96013537.html.
- 96013537 issued "1997".
- 96013537 issued "1997.".
- 96013537 language "eng".
- 96013537 publisher "Cambridge ; New York, NY, USA : Cambridge University Press,".
- 96013537 subject "005.1/2 20".
- 96013537 subject "Formal methods (Computer science)".
- 96013537 subject "QA76.73.Z2 J33 1997".
- 96013537 subject "Z (Computer program language)".
- 96013537 title "The way of Z : practical programming with formal methods / Jonathan Jacky.".
- 96013537 type "text".