Normale Ansicht MARC ISBD

Loeckx, Jacques 1931-2020

The foundations of program verification Jacques Loeckx; Kurt Sieber. In collaboration with Ryan D. Stansifer - IX, 230 S. graph. Darst. 8" - Wiley-Teubner series in computer science .

Literaturverz. S. 222 - 226

ISBN: 3519021013 047190323X

LCCN: 83016658

Nat. Bib. No.: 84,N13,0181 dnb 85,A20,0319 dnb

Nat. Bib. Agency Control No.: 840358849 DE-101

Subjects--Topical Terms:
Computer programs--Verification

Subjects--Index Terms:

LC Class. No.: QA76.6

Dewey Class. No.: 001.64/2