[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Cooke06

  1. John Cooke
  2. Constructing Correct software(2nd edn)
  3. Springer 2005 QA76.76 ISBN 1-85233-820-2
  4. =INTRODUCTION MATHEMATICS LOGIC PROOF CORRECTNESS PROGRAMMING TECHNICAL
  5. compare with Bo Sandin's stuff in the 1980's and Huth & Ryan (textbook).

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]