The Programming and Proof System (Research Reports ESPRIT: Project 1158)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: August 1991
Language: eng
Format: Perfect Paperback
Number of pages: 349
ISBN-13: 9783540541882
Subjects: Software engineering; Computer Programming; Computer software; Development; Electronic digital computers