Book
Cambridge :Cambridge Univ. Press,
Format:
VI, 279 S. : graph. Darst.
Edition:
1. publ.
ISBN:
0-521-41723-6
Series Statement:
Cambridge tracts in theoretical computer science 28
Note:
Literaturverz. S. 269 - 274
Language:
English
Subjects:
Computer Science
Keywords:
Softwarespezifikation
;
Deduktion
;
Logischer Schluss
;
Deklarative Programmierung
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |