Search Results - "formal specification"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer software 4
- Development 4
- Programming languages (Electronic computers) 2
- Software engineering 2
- Z (Computer program language) 2
- Computer science 1
- Electronic digital computers 1
- Larch (Computer program language) 1
- Logic, Symbolic and mathematical 1
- Object-oriented databases 1
- Programming 1
- Real-time data processing 1
- Relational databases 1
- Semantics 1
-
1
-
2
Formal specification and software development
Published 1982Click Here to View Status and Holdings.
Unknown -
3
An introduction to formal specification and Z
Published 1996Click Here to View Status and Holdings.
Unknown -
4
Formal specification using Z a modelling approach
Published 1995Click Here to View Status and Holdings.
Unknown -
5
An Introduction to formal specification with Z and VDM
Published 1995Click Here to View Status and Holdings.
Unknown -
6
Z formal specification of functional requirement
Published 2013Click Here to View Status and Holdings.
Thesis -
7
Larch languages and tools for formal specification
Published 1993Click Here to View Status and Holdings.
Unknown -
8
-
9
-
10