SOUL Catalog فهرس المكتبة المركزية لجامعة 6 أكتوبر

Einfache Ansicht MARC ISBD

Loeckx, J. J. C.

The Foundations of program verification [[Book] /] Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer. - Stuttgart [Germany] : Chichester ; New York : B.G. Teubner ; Wiley, 1984. - 230 p ; 24 cm. - Wiley-Teubner series in computer science . - Wiley-Teubner series in computer science .

Includes index.

Bibliography: p. 222-226.

All age.

ISBN: 047190323X : 047190323X 047190323X :

Subjects--Topical Terms:
Computer programs--Verification.
Logiciels--Vérification.

Dewey Class. No.: 001.642 001.642 001.642

National Library of Medicine Call No.: / L F