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

Verifying concurrent processes using temporal logic

フォーマット:
図書
責任表示:
Brent T. Hailpern
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1982
形態:
viii, 208 p. : ill. ; 25 cm
著者名:
Hailpern, Brent Tzion, 1955- <DA02820617>  
シリーズ名:
Lecture notes in computer science ; 129 <BA00009279>
書誌ID:
BA04909522
ISBN:
9783540112051 [3540112057] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387112053 [0387112057] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Program verification using Ada

McGettrick, Andrew D., 1944-

Cambridge University Press
7 図書 Compiler specification and verification

Polak, Wolfgang, 1950-

Springer-Verlag
2 図書 Temporal verification of reactive systems : safety

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
8 図書 Formal methods of program verification and specification

Berg, H. K. (Helmut K.)

Prentice-Hall
3 図書 Axiomatic proof techniques for parallel programs

Owicki, Susan Speer

Garland Pub.
9 図書 Automatic verification of programs with complex data structures

鈴木, 則久(1946-)

Garland Pub.
4 図書 An introduction to distributed and parallel processing

Sharp, J. A. (John A.), 1955-

Blackwell Scientific
10 図書 Communication and concurrency

Milner, Robin, 1934-

Prentice Hall
5 図書 An introduction to formal program verification

Mili, Ali

Van Nostrand Reinhold Co.
11 図書 An introduction to the PL/CV2 programming logic

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

Springer-Verlag
6 図書 The foundations of program verification

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

B.G. Teubner, Wiley
12 図書 The theory of database concurrency control

Papadimitriou, Christos H.

Computer Science Press