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

Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, 1980
形態:
xi, 566 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 86 <BA00009279>
著者名:
ISBN:
9780387100074 [0387100075] (: us)
9783540100072 [3540100075] (: gw)
書誌ID:
BA03669398
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

IFIP Working Conference on Formal Description of Programming Concepts, Bjørner, D. (Dines), 1937-, IFIP Technical …

North-Holland Pub. Co.

Bjørner, Dines, Bjorner, Dines, Henson, Martin C.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-

Springer-Verlag

European Symposium on Programming, Krieg-Brückner, B. (Bernd)

Springer-Verlag

European Symposium on Programming, Jones, Neil D., 1941-

Springer-Verlag

IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Broy, M., 1949-, Jones, Cliff B., …

North-Holland, Elsevier Science Pub. Co., distributors for the U.S. and Canada

European Symposium on Programming, Ganzinger, Harald, 1950-, Colloquium on Trees in Algebra and Programming

Springer-Verlag

6 電子ブック Software Engineering 2

Bjørner, Dines, Rozenberg, Grzegorz

Springer eBooks Computer Science, Springer Berlin Heidelberg

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