Refinement in Z and Object-Z

Refinement in Z and Object-Z

Synopsis

Hakimiliki:
2013 Springer

Book Details

Book Quality:
ISBN-13:
9781447153559
Publisher:
Springer London
Date of Addition:
Lugha:
English
Kategoria:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy,
Usage Restrictions:
This is a copyrighted book.