Skip to content
Toggle navigation
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
The way of Z practical program...
Preview
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
The way of Z practical programming with formal methods
Main Author:
Jacky, Jonathan
(Author)
Format:
Book
Published:
Cambridge, UK:
Cambridge University Press,
1997.
Subjects:
Formal methods (Computer science)
Computer Program language
Z (Computer program language)
Holdings
Description
Preview
Similar Items
Staff View
Similar Items
An introduction to formal specification and Z
by: POTTER
Published: (1996)
Constructing correct software
by: Cooke
Published: (2005)
The Z 80 microprocessor : architecture, interfacing, programming and design
by: Gaonkar
Published: (1995)
Practical C programming
by: OUALLINE
Published: (1997)
Practical C++ programming
by: OUALLINE
Published: (1995)
×
Loading...
