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

Object technologies for advanced software : Second JSSST International Symposium, ISOTAS ʾ96, Kanazawa, Japan, March 11-15, 1996 : proceedings

種類:
図書
責任表示:
Kokichi Futatsugi, Satoshi Matsuoka, (eds.)
出版情報:
Berlin ; New York : Springer-Verlag, c1996
著者名:
シリーズ名:
Lecture notes in computer science ; 1049 <BA00009279>
ISBN:
9783540609544 [3540609547]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Object Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings

Futatsugi, Kokichi, Matsuoka, Satoshi, SpringerLink (Online service)

Springer-Verlag
7 図書 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : …

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

Springer
2 電子ブック Object-Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings

Futatsugi, Kokichi., Matsuoka, Satoshi., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

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

Springer-Verlag
3 電子ブック Object Technologies for Advanced Software : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings

Nishio, Shojiro, Yonezawa, Akinori, SpringerLink (Online service)

Springer-Verlag
9 図書 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

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

Springer-Verlag
4 電子ブック Object Technologies for Advanced Software : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings

Nishio, Shojiro., Yonezawa, Akinori., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, …

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

Springer-Verlag
5 図書 ECOOP'97 - object-oriented programming : 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings

European Conference on Object-Oriented Programming, Akşit, Mehmet, 松岡, 聡

Springer-Verlag
11 図書 Deductive and object-oriented databases : fourth international conference, DOODʾ95, Singapore, December 4-7, 1995 : proceedings

International Conference on Deductive and Object-Oriented Databases, Ling, Tok Wang, Mendelzon, Alberto O., Vieille, &hellip;

Springer
6 図書 Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

Endres, Albert, Weber, Herbert, 1940-

Springer-Verlag
12 図書 Deductive and object-oriented databases : 5th International Conference, DOOD '97, Montreux, Switzerland, December 8-12, 1997 : proceedings

International Conference on Deductive and Object-Oriented Databases, Bry, François, 1956-, Ramakrishnan, Raghu, &hellip;

Springer