Program Verification
Subtitle: Fundamental Issues in Computer Science (Studies in Cognitive Systems)
Contributors: Timothy T.R. Colburn (Editor); J.H. Fetzer (Editor); R.L. Rankin (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Hardcover
Number of pages: 471
ISBN-13: 9780792319658
Subjects: Computer Programming; Knowledge-based systems / expert systems; Software Design; Computers; Computers - Languages / Programming; Science/Mathematics; Computer Books: General; Programming - Software Development; Artificial Intelligence - General; General; Computers / Artificial Intelligence; Computers / Programming / Software Development; Computers-Artificial Intelligence - General; Philosophy-General; Verification; Computer software