Matches in Library of Congress for { <http://lccn.loc.gov/86032483> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 86032483 alternative "Mathematical introduction to the semantics of computer programs.".
- 86032483 contributor B5172721.
- 86032483 created "c1988.".
- 86032483 date "1988".
- 86032483 date "c1988.".
- 86032483 dateCopyrighted "c1988.".
- 86032483 description "Bibliography: p. 302-305.".
- 86032483 extent "xi, 316 p. :".
- 86032483 identifier "0471914746 :".
- 86032483 issued "1988".
- 86032483 issued "c1988.".
- 86032483 language "eng".
- 86032483 publisher "Chichester [West Sussex] ; New York : Wiley,".
- 86032483 subject "005.1 19".
- 86032483 subject "Computer programming.".
- 86032483 subject "Computer software Development.".
- 86032483 subject "QA76.76.D47 B33 1988".
- 86032483 title "The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.".
- 86032483 type "text".