Correctness and Completeness (Progress in Theoretical Computer Science)
Edition: 1 edition
Publisher: Birkhauser
Published: December 1, 1991
Language: eng
Format: Hardcover
Number of pages: 298
ISBN-13: 9780817635947
Subjects: Mathematical theory of computation; Science; General; Semantics; Programming Language Semantics; Computers - Languages / Programming; Programming languages (Electronic computers); Computer Books: Languages; Science/Mathematics; Programming languages (Electro; Applied; Programming Languages - General; Mathematics / Applied; Type theory; Earth Sciences - General; Functional programming (Comput; Functional programming (Computer science)