The foundations of program verification (Wiley-Teubner series in computer science)

 
9783519021018: The foundations of program verification (Wiley-Teubner series in computer science)

Other Popular Editions of the Same Title

9780471903239: Loeckx ∗foundations∗ Of Program Verification (Wiley Teubner Series on Applicable Theory in Computer Science)

Featured Edition

ISBN 10:  047190323X ISBN 13:  9780471903239
Publisher: Wiley–Blackwell, 1987
Hardcover