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

A programming logic : with an introduction to the PL/CV verifier / Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson

資料種別:
図書
出版情報:
Cambridge, Mass. : Winthrop Publishers, c1978
形態:
x, 389 p. ; 24 cm
著者名:
ISBN:
9780876267264 [0876267266]
書誌ID:
BA04148765
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Constable, R. L. (Robert L.), Johnson, Scott D., Eichenlaub, C. D.

Springer-Verlag

Causey, Robert L.

Jones and Bartlett

Constable

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Causey, Robert L.

Jones and Bartlett

Johnson, D. L.

Springer

Shoenfield, Joseph R. (Joseph Robert), 1927-

Addison-Wesley Pub. Co.

O'Donnell, Michael J., 1952-

Springer-Verlag

10 図書 Mathematical logic

Shoenfield, Joseph R. (Joseph Robert), 1927-

Addison-Wesley Pub. Co

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag

Goodstein, R. L. (Reuben Louis)

Logos Press

Hehner, Eric C. R.

Prentice/Hall International

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