-
21
-
22
-
23
Temporal logic first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Baskı/Yayın Bilgisi 1994Kitap -
24
-
25
-
26
-
27
-
28
The deductive foundations of computer programming a one-volume version of the logical basis for computer programming
Baskı/Yayın Bilgisi 1993Kitap -
29
-
30
Structures and abstractions an introduction to computer science with Turbo Pascal.
Baskı/Yayın Bilgisi 1992Kitap


