>> 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. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 86 <BA00009279>
書誌ID:
BA03669398
ISBN:
9783540100072 [3540100075] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387100074 [0387100075] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

後藤, 英一(1931-), RIMS Symposium on Software Science and Engineering

Springer-Verlag

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

Springer-Verlag

Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich), Bjørner, D. (Dines), 1937-

Springer-Verlag

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

Springer-Verlag

Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V., Kumar, S. (Sanjeev)

Springer-Verlag

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

Springer-Verlag

Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V.

Springer-Verlag

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

Springer-Verlag

Robinet, Bernard, 1941-, International symposium on programming

Springer-Verlag

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

Springer-Verlag

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society Press