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

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1990
形態:
xvii, 579 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 428 <BA00009279>
著者名:
ISBN:
9780387525136 [0387525130] (: us)
9783540525134 [3540525130] (: gw)
書誌ID:
BA10042011
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Hoare, C. A. R. (Charles Antony Richard), 1934-

Prentice-Hall International

VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-

Springer-Verlag

Hoare, C. A. R. (Charles Antony Richard), 1934-

Addison-Wesley Pub. Co.

International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James

Springer-Verlag

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Symposium on Assessment of Quality Software Development Tools, Nahouraii, Ez, IEEE Computer Society. Software …

IEEE Computer Society Press

International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964-

Springer-Verlag

VDM-Europe Symposium, Bloomfield, Robin E., Marshall, Lynn S., Jones, Roger B.

Springer-Verlag

International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948-

Springer

International Joint Conference on Theory and Practice of Software Development, Gaudel, M.-C. (Marie-Claude), Jouannaud, …

Springer-Verlag

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