Formal Specification Using Z

Name: Formal Specification Using Z
Author: / David lightfood

Author

Edition 1

0-333-54408-0

list

شناسنامه

Main Entry

Lightfoot, David، نویسنده

Title and Author

Formal Specification Using Z / / David lightfood

Publication Details

لندن : : '، 1991م

Physical Description

Xi.; 164 P.؛ ; 22 cm؛ : ill..

Subject

Z (Computer Program language)
Formal languages

series

(Macmillan Computer Science Series؛ )

Language

انگلیسی

Retrieval Number

Congress:

انگليسي.

Includes Index.