Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
by J. Wordsworth
ISBN 13: 9780201627572
Format: Paperback (336 pages) Publisher: Addison Wesley Published: 29 Jun 1992
Save for later