Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
Edition: 1st ed. 1998. 2nd printing edition
Publisher: Springer
Published: April 23, 1999
Language: eng
Format: Paperback
Number of pages: 395
ISBN-13: 9783540761563
Subjects: Software engineering; Programming Languages - General; Software Development; Computers; Computers - Languages / Programming; Computer Books: Languages; Logic; Programming - Software Development; Computers / Programming / Software Development; Formal Development; Formal Methods; Computer software; Development