Search Results - "Prentice Hall international series in computer science"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer software 3
- Development 3
- Electronic digital computers 3
- Programming 3
- Programming languages (Electronic computers) 3
- Computer programs 2
- Mathematical models 2
- Mathematics 2
- Algorithms 1
- Computer network protocols 1
- Computer science 1
- Computer simulation 1
- Correctness 1
- Electronic data processing 1
- Logic, Symbolic and mathematical 1
- Problems, exercises, etc 1
- Semantics 1
- System design 1
- Validation 1
- Z (Computer program language) 1
-
1
Principles of protocol design / Robin Sharp.
Published 1994“…Prentice Hall international series in computer science…”
Book -
2
Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.
Published 1980“…Prentice-Hall International series in computer science…”
Book -
3
Category theory for computing science / Michael Barr and Charles Wells.
Published 1990“…Prentice Hall international series in computer science…”
Book -
4
Computer science : a mathematical introduction : (applied mathematics, modeling, analysis and optimization techniques with applications to software systems) / Art Lew.
Published 1985“…Prentice-Hall international series in computer science…”
Book -
5
Functional programming : application and implementation / (by) Peter Henderson.
Published 1980“…Prentice-Hall international series in computer science…”
Book -
6
How to solve it by computer.
Published 1982“…Prentice-Hall international series in computer science…”
Book -
7
Introduction to the theory of programming languages / Bertrand Meyer.
Published 1990“…Prentice Hall International series in computer sciences…”
Book -
8
Principles of programming languages / R.D. Tennent.
Published 1981“…Prentice-Hall international series in computer science…”
Book -
9
Program construction and verification / Roland C. Backhouse.
Published 1986“…Prentice-Hall international series in computer science…”
Book -
10
Systematic software development using VDM / Cliff B. Jones.
Published 1986“…Prentice-Hall international series in computer science…”
Book -
11
Systematic software development using VDM / Cliff B. Jones.
Edition: 2nd ed.“…Prentice-Hall international series in computer science…”
Book -
12
Programming language syntax and semantics / David A. Watt ; with a contribution by Muffy Thomas.
Published 1991“…Prentice Hall international series in computer science…”
Book -
13
Programming from specifications / Carroll Morgan.
Edition: 2nd ed.“…Prentice Hall international series in computer science…”
Book -
14
Mathematics for computer science / A. Arnold and I. Guessarian.
Published 1996“…Prentice Hall international series in computer science…”
Book -
15
Conceptual modelling / Magnus Boman ... (et al.).
Published 1997“…Prentice Hall international series in computer science…”
Book -
16
Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.
Published 1996“…Prentice Hall international series in computer science…”
Book -
17
Semantics of programming languages / R.D. Tennent.
Published 1991“…Prentice-Hall international series in computer science…”
Book