Skip to content
Toggle navigation
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Search
An introduction to formal spec...
Preview
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
An introduction to formal specification and Z
Main Author:
POTTER
Other Authors:
Sinclair,
,
Till,
Format:
Book
Published:
London:
Prentice Hall,
1996.
Edition:
2nd ed.
Subjects:
Computer software --
>
Development
Z (Computer program language)
Holdings
Description
Preview
Similar Items
Staff View
Similar Items
The way of Z practical programming with formal methods
by: Jacky, Jonathan
Published: (1997)
Domain-specific modeling : enabling full code generation
by: Kelly
Published: (2008)
The Z 80 microprocessor : architecture, interfacing, programming and design
by: Gaonkar
Published: (1995)
The Java developer's toolkit : techniques and technologies for experienced web programmers
by: MARKETOS
Published: (1997)
Expert one-on-one J2EE Design and Development
by: JOHNSON
Published: (2003)
×
Loading...