My Library

University LibraryCatalogue

For faster,
Use Lean
Get it now
Don't show me again
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Loeckx, Jacques, 1931-

Title The foundations of program verification / Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer.

Published Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, [1987]


Location Call No. Status
 UniM ERC  005.14 LOEC    DUE 11-01-20
Edition 2nd ed.
Physical description ix, 230 pages : illustrations ; 24 cm.
Series Wiley-Teubner series in computer science.
Wiley-Teubner series in computer science.
Notes Includes index.
Bibliography Bibliography: pages 222-226.
Other author Sieber, Kurt.
Stansifer, Ryan D.
Subject Computer programs -- Verification.
ISBN 3519121018 (Teubner)
0471912824 (Wiley)