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

Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings

種類:
図書
責任表示:
J. Sifakis (ed.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1990
著者名:
Sifakis, Joseph, 1946- <DA03997600>  
シリーズ名:
Lecture notes in computer science ; 407 <BA00009279>
ISBN:
9783540521488 [3540521488] (: gw)  CiNii Books  Calil
9783540521488 [3540521488] (pbk : gw)  CiNii Books  Calil
9780387521480 [0387521488] (: us)  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Sifakis, Joseph, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings

Frasson, Claude, Gauthier, Gilles, Lesgold, Alan, SpringerLink (Online service)

Springer-Verlag
2 電子ブック 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
8 電子ブック Intelligent Tutoring Systems : Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings

Frasson, Claude., Gauthier, Gilles., Lesgold, Alan., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 図書 Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and …

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (7th : 1987 : Zurich, &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
9 図書 Numerical methods : proceedings of the international workshop held at Caracas, June 14-18, 1982

Workshop on Numerical Methods, Pereyra, Victor, Reinoza, Alfonso

Springer-Verlag
4 図書 Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September …

Process Algebras and Performance Modeling Workshop, Probabilistic Methods in Verification, Alfaro, Luca de, Gilmore, &hellip;

Springer
10 電子ブック Numerical Methods : Proceedings of the International Workshop Held at Caracas, June 14-18, 1982

Pereyra, V., Reinoza, A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings

Maler, Oded, International Workshop on Hybrid and Real-Time Systems (1997 :Grenoble, France)

Springer-Verlag
11 図書 Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

International Conditional and Typed Rewriting Systems Workshop, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), 1954-

Springer-Verlag
6 図書 Power transducers for sonics and ultrasonics : proceedings of the international workshop held in Toulon, France, June 12 and 13, 1990

Hamonic, B. (Bernard), 1948-, Wilson, Oscar Bryan, Decarpigny, J.-N. (Jean-Noel), 1958-, International Workshop on Power &hellip;

Springer-Verlag
12 電子ブック Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings

Kaplan, S., Okada, M., SpringerLink (Online service)

Springer-Verlag