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

An introduction to formal program verification / Ali Mili

資料種別:
図書
出版情報:
New York : Van Nostrand Reinhold Co., c1985
形態:
xii, 291 p. ; 24 cm
著者名:
Mili, Ali <DA00069448>  
ISBN:
9780442263225 [0442263228]
書誌ID:
BA00040472
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Programming logics : an introduction to verification and semantics

Gumb, Raymond D.

Wiley
7 図書 Formal verification of hardware design

Yoeli, Michael

IEEE Computer Society Press
2 図書 Program verification using Ada (: pbk)

McGettrick, Andrew D., 1944-

Cambridge University Press
8 電子ブック Formal Methods for Hardware Verification

Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
3 図書 The foundations of program verification (Wiley ; Teubner)

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

B.G. Teubner, Wiley
9 電子ブック Formal Hardware Verification

Thomas Kropf, Kropf, Thomas

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Verification and Evaluation of Computer and Communication Systems

Barkaoui, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

SpringerLink Books - AutoHoldings, Springer International Publishing
10 電子ブック Formal Methods for Hardware Verification

Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 The formal semantics of programming languages : an introduction (: pbk)

Winskel, Glynn

MIT Press
11 電子ブック Leveraging Applications of Formal Methods, Verification and Validation. Verification

Margaria, Bernhard Steffen, Steffen, Bernhard

SpringerLink Books - AutoHoldings, Springer International Publishing
6 図書 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
12 図書 Introduction to perturbation techniques

Nayfeh, Ali Hasan, 1933-

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