
Automatic Verification of Sequential Infinite-state Processes
Olaf Burkart
₹5,103

McGraw-Hill College · 1972
Free delivery. Nothing extra to pay at checkout.
Systems Programming by John J. Donovan is a 480-page book published by McGraw-Hill College in 1972. The book is part of the McGraw-Hill computer science series series.
Topics covered include Systems programming (Computer science), Computers and Computer programming.