Skip to main content
PBS logo
 
 

Search - Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))

Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
Refinement in Z and ObjectZ Foundations and Advanced Applications - Formal Approaches to Computing and Information Technology FACIT
Author: John Derrick, Eerke A. Boiten
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: — - data...  more »
ISBN-13: 9781852332457
ISBN-10: 185233245X
Publication Date: 6/8/2001
Pages: 466
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.