Programming from Specifications (Prentice Hall International Series in Computing Science)
by Carroll Morgan
ISBN 13: 9780137262335
Format: Paperback (260 pages) Publisher: Prentice-Hall Published: 01 Jan 1990
Save for later
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in ... / Programming and Software Engineering)
by
ISBN 13: 9783642250316
Format: Paperback (205 pages) Publisher: Springer Published: 28 Oct 2011 Other Format: Paperback
Programming Methodology (Monographs in Computer Science)
by Annabelle Mclver,Carroll Morgan
ISBN 13: 9780387953496
Format: Illustrated (488 pages) Publisher: Springer Published: 02 Oct 2002