The way of z practical programming with formal methods

Bibliographic Details
Main Author: Jonathan Jacky
Format: Printed Book
Language:English
Published: Cambridge University Press 1997
Description
Physical Description:350
ISBN:0-521-55976-6

Similar Items