>> Amazon.co.jp
このページのQRコード

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism

種類:
図書
責任表示:
Josyula Ramachandra Rao
出版情報:
Berlin ; New York : Springer, c1995
著者名:
Rao, Josyula R., 1962- <DA09015721>  
シリーズ名:
Lecture notes in computer science ; 908 <BA00009279>
ISBN:
9783540591733 [3540591737] (: gw)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism

Rao, Josyula R., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Automatic verification of sequential infinite-state processes

Burkart, Olaf

Springer
2 電子ブック Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism

Rao, Josyula Ramachandra, SpringerLink (Online service)

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

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
3 図書 Verification of sequential and concurrent programs

Apt, Krzysztof R., 1949-, Olderog, E.-R

Springer
9 図書 Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Godefroid, Patrice

Springer
4 図書 Software verification and validation for practitioners and managers

Rakitin, Steven R.

Artech House
10 図書 MULTIVARIATE STATISTICS AND PROBABILITY : ESAYS IN MEMORY OF PARUCHURI R. KRISHNAIAH

<ED. BY> RAO, C. R., RAO, M. M.

ACADEMIC PRESS
5 電子ブック Probability Theory with Applications [e-books]

Rao, M. M., Swift, R. J., SpringerLink (Online service)

Springer Science+Business Media, Inc.
11 電子ジャーナル Methodology and Computing in Applied Probability
6 図書 Principles of the SPIN model checker

Ben-Ari, M., 1948-

Springer
12 電子ジャーナル Methodology and Computing in Applied Probability