>> Google Books
QRコード(所蔵情報)

Equational logic as a programming language

フォーマット:
図書
責任表示:
Michael J. O'Donnell
言語:
英語
出版情報:
Cambridge, Mass. : MIT Press, c1985
形態:
296 p. : ill. ; 24 cm
著者名:
O'Donnell, Michael J. <DA00027925>  
シリーズ名:
MIT Press series in the foundations of computing <BA0001568X>
書誌ID:
BA00015668
ISBN:
9780262150286 [026215028X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Constable, R. L. (Robert L.), O'Donnell, Michael J., 1952-, Johnson, Scott D.

Winthrop Publishers

Harland, D. M. (David Michael), 1955-

E. Horwood, Halsted Press

Scott, Michael Lee, 1959-

Morgan Kaufmann

DeGroot, Doug, Lindstrom, Gary

Prentice-Hall

Gavrilov, Mikhail Aleksandrovich, Zakrevskiĭ, A. D.

Academic Press

Burns, Alan, 1953-, Wellings, Andrew J.

Addison-Wesley Pub. Co.

Cleaveland, J. Craig, Uzgalis, Robert C.

Elsevier

Brodie, Michael L., Mylopoulos, John, Schmidt, Joachim W., 1941-

Springer-Verlag

Bishop, J. M. (Judith Mary), 1951-

Addison-Wesley

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press

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

Ablex Publishing