An introduction to the PL/CV2 programming logic

フォーマット:
図書
責任表示:
R.L. Constable, S.D. Johnson, C.D. Eichenlaub
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1982
形態:
x, 292 p. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 135 <BA00009279>
書誌ID:
BA03671210
ISBN:
9783540114925 [3540114920] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387114927 [0387114920] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 An introduction to biorheology

Scott Blair, George William, 1902-, Spanner, D. C., Copley, A. L.

Elsevier Scientific Publ. Co.
7 図書 Introduction to logic

Gamut, L. T. F.

University of Chicago Press
2 図書 Verifying concurrent processes using temporal logic

Hailpern, Brent Tzion, 1955-

Springer-Verlag
8 図書 Introduction to logic programming

Hogger, Christopher John

Academic Press
3 図書 Mathematical logic and programming languages

Shepherdson, J. C., Hoare, C. A. R. (Charles Antony Richard), 1934ー

Prentice Hall International
9 図書 An introduction to programming : a structured approach using PL/1 and PL/C

Conway, Richard Walter, 1931-, Gries, David, 1939-

Winthrop Publishers
4 図書 Effective C : an introduction to professional C programming

Seacord, Robert C.

No Starch Press, Inc.
10 図書 Axiomatising the logic of computer programming

Goldblatt, Robert, 1949-

Springer-Verlag
5 図書 Logic programming

Clark, K. L. (Keith L.), Tärnlund, S.-A. (Sten-Åke), International Workshop on Logic Programming

Academic Press
11 図書 Maximum likelihood estimation : logic and practice

Eliason, Scott R.

Sage Publications
6 電子ブック The promise

Scott-Buccleuch, R. L. (Robert L.)

Macmillan
12 図書 Logic programming and its applications

Warren, David H. D., Van Caneghem, Michel

Ablex Publishing