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

Program verification using Ada

フォーマット:
図書
責任表示:
Andrew D. McGettrick
言語:
英語
出版情報:
Cambridge ; New York : Cambridge University Press, 1982
形態:
345 p. ; 24 cm
著者名:
McGettrick, Andrew D., 1944- <DA00366181>  
シリーズ名:
Cambridge computer science texts ; 13 <BA0030207X>
書誌ID:
BA04005327
ISBN:
9780521242158 [0521242150]  CiNii Books  Webcat Plus  Google Books
9780521285315 [0521285313] (: pbk)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 The foundations of program verification

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

B.G. Teubner, Wiley
7 図書 Verifying concurrent processes using temporal logic

Hailpern, Brent Tzion, 1955-

Springer-Verlag
2 図書 The definition of programming languages

McGettrick, Andrew D., 1944-

Cambridge University Press
8 図書 Automatic verification of programs with complex data structures

鈴木, 則久(1946-)

Garland Pub.
3 図書 An introduction to formal program verification

Mili, Ali

Van Nostrand Reinhold Co.
9 図書 UNIX Ada programming

Gehani, Narain, 1947-, American Telephone and Telegraph Company

Prentice-Hall
4 図書 Concurrent programming

Gehani, Narain, 1947-, McGettrick, Andrew D., 1944-

Addison-Wesley
10 図書 Concurrent programming in Ada

Burns, Alan, 1953-

Cambridge University Press
5 図書 Programming in ADA

Barnes, J. G. P.

Addison-Wesley Pub. Co.
11 図書 Good programming practice in Ada

Luker, Paul A.

Blackwell Scientific Publications
6 図書 Formal methods of program verification and specification

Berg, H. K. (Helmut K.)

Prentice-Hall
12 図書 Programming in Ada : plus an overview of Ada 9X

Barnes, J. G. P.

Addison-Wesley