The Theory and Practice of Refinement
Approaches to the Formal Development of Large-Scale Software Systems
Published on 11. October 1989
Book
Hardback
228 pages
978-0-408-03981-9 (ISBN)
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
ISBN-13
978-0-408-03981-9 (9780408039819)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification