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

Programming logics : an introduction to verification and semantics / Raymond D. Gumb

資料種別:
図書
出版情報:
New York : Wiley, c1989
形態:
xvii, 334 p. ; 24 cm
著者名:
Gumb, Raymond D. <DA03245285>  
ISBN:
9780471605393 [0471605395]
書誌ID:
BA0671997X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 An introduction to formal program verification

Mili, Ali

Van Nostrand Reinhold Co.
7 図書 Introduction to semantics and formalization of logic

Carnap, Rudolf, 1891-1970

Harvard University Press
2 図書 Program verification using Ada (: pbk)

McGettrick, Andrew D., 1944-

Cambridge University Press
8 電子ブック An Introduction to the PL/CV2 Programming Logic

Constable, R. L., Johnson, S. D., Eichenlaub, C. D., SpringerLink (Online service)
3 図書 The foundations of program verification (Wiley ; Teubner)

Loeckx, Jacques, 1931-, Sieber, Kurt, Stansifer, Ryan D.

B.G. Teubner, Wiley
9 図書 Computability theory, semantics, and logic programming

Fitting, Melvin Chris

Oxford University Press, Clarendon Press
4 図書 A programming logic : with an introduction to the PL/CV verifier

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

Winthrop Publishers
10 図書 Meaning in language : an introduction to semantics and pragmatics

Cruse, D. A.

Oxford University Press
5 電子ブック Logic and Program Semantics

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
11 電子ブック Theory of Program Structures : Schemes, Semantics, Verification

Greibach, Sheila A., SpringerLink (Online service)
6 電子ブック Logic and Program Semantics

Hutchison, David, Kanade, Takeo, Kittler, Josef, Silva, Alexandra

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック Theory of Program Structures: Schemes, Semantics, Verification

Greibach

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12