1
The Z notation : a reference manual /
Book
...Prentice Hall international series in computer science....
2
Introduction to functional programming.
Book
Bird, R.
1988
...Prentice Hall international series in computer science....
3
Object-oriented software construction /
Book
...Prentice Hall international series in computer science....
4
Computer science : a mathematical introduction: applied mathematics: modeling, analysis, and optimization techniques with applications to software systems.
Book
Lew, A.
1985
...Prentice Hall international series in computer science....
5
Communicating sequential processes /
Book
...Prentice Hall international series in computer science....
6
Micro prolog : programming in logic.
Book
...Prentice Hall international series in computer science....
7
System development /
Book
...Prentice Hall international series in computer science....
8
Mathematical theory of program correctness /
Book
...Prentice Hall international series in computer science....
9
Structured system programming.
Book
Welsh, J.
1980
...Prentice Hall international series in computer science....
10
Introduction to Pascal /
Book
...Prentice Hall international series in computer science....
11
Syntax of programming languages : theory and practice /
Book
...Prentice Hall international series in computer science...
12
Programming in Occam.
Book
...Prentice Hall international series in computer science....