>> Google Books
Proof in VDM : a practitioner's guide
フォーマット:
図書
責任表示:
by Juan C. Bicarregui ... [et al.]
言語:
英語
出版情報:
London ; New York : Springer-Verlag, c1994
形態:
xvi, 362 p. ; 24 cm
著者名:
Bicarregui, Juan C. (Juan Carlos), 1962- <DA08048587>  
シリーズ名:
Formal approaches to computing and information technology (FACIT) <BA2187111X>
書誌ID:
BA21870999
ISBN:
9780387198132 [038719813X] (: us)  CiNii Books  Webcat Plus  Google Books
9783540198130 [354019813X] (: gw)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Latham, John T. (John Timothy), 1959-, Bush, Vicky J. (Vicky Jane), 1954-, Cottam, Ian D. (Ian David), 1951-

Addison-Wesley Pub. Co.

Migliore, Juan C. (Juan Carlos), 1956-

Birkhäuser

Constable, R. L. (Robert L.), Cornell University. Dept. of Computer Science

Prentice-Hall

Goubault-Larrecq, Jean, Mackie, I. (Ian)

Kluwer Academic

Shankar, N.

Cambridge University Press

Snyder, Wayne, 1955-

Birkhäuser

Rich, Charles, 1951-, Waters, Richard C.

ACM Press, Addison-Wesley