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

Automatic verification of sequential infinite-state processes

種類:
図書
責任表示:
Olaf Burkart
出版情報:
Berlin : Springer, c1997
著者名:
Burkart, Olaf  
シリーズ名:
Lecture notes in computer science ; 1354 <BA00009279>
ISBN:
9783540639824 [3540639829]  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 図書 Verification of sequential and concurrent programs

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

Springer
7 電子ブック Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

Sifakis, Joseph., SpringerLink (Online service)

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

Godefroid, Patrice

Springer
8 図書 Alternating sequential/parallel processing

Wallach, Y. (Yehuda), 1928-

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

Rakitin, Steven R.

Artech House
9 電子ブック Alternating Sequential/Parallel Processing

Wallach, Y., SpringerLink (Online service)

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

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
10 電子ブック Alternating Sequential-Parallel Processing

Wallach, Y., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings

Sifakis, Joseph, 1946-

Springer-Verlag
11 図書 Algebraic foundations of systems specification

Astesiano, E. (Egidio), 1939-, Kreowski, H.-J. (Hans-Jörg), Krieg-Brückner, B. (Bernd)

Springer
6 電子ブック Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Sifakis, Joseph, SpringerLink (Online service)

Springer-Verlag
12 図書 Specification of software systems

Alagar, Vangalur S., 1940-, Periyasamy, K.

Springer