検索条件
件名::Computersoftware -- Development -- Congresses.
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](../Images/noimage.png) | Formal methods and software development U.S. : pbk. ( International Joint Conference on Theory and Practice of Software Developmentbib (1985 : Berlin, Germany)Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2. ) | 中央図書館 | Colloquium on Software Engineering (CSE), edited by Hartmut Ehrig ... [et al.]. | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||186 |
2 | ![書影](../Images/noimage.png) | Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 pbk. ( Lecture notes in computer science ; 215 ) | 中央図書館 | edited by W. Bibel and K.P. Jantke. | Springer | 1986 | 中央5階洋 007.1||L 49||215 |
3 | ![書影](../Images/noimage.png) | Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 proceedings Springer-Verlag Berlin Heidelberg New York , Springer-Verlag New York Berlin Heidelberg ( Lecture notes in computer science ; 509 ) | 中央図書館 | A. Endres, H. Weber, (eds.). | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||509 |
4 | ![書影](../Images/noimage.png) | TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989. v. 1 - New York : pbk. : v. 2 ( Lecture notes in computer science ; 352 ) | 中央図書館 | J. Díaz, F. Orejas, eds. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||351 中央5階洋 007.1||L 49||352 |
5 | ![書影](../Images/noimage.png) | Tapsoft '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development. Brighton, UK, April 8-12, 1991 v. 1 , v. 1, alk. paper : New York , v. 1, alk. paper : Berlin ( Lecture notes in computer science ; 493 ) | 中央図書館 | S. Abramsky, T.S.E. Maibaum, eds. | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||493 |
6 | ![書影](../Images/noimage.png) | TAPSOFT ʾ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991. v. 2 , New York : pbk. : v. 2 ( Lecture notes in computer science ; 494 ) | 中央図書館 | S. Abramsky, T.S.E. Maibaum, eds. | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||494 |
7 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/51HrG98dw9L.jpg) | VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings U.S. : pbk. ( Lecture notes in computer science ; 252 ) | 中央図書館 | edited by D. Bjørner ... [et al.]. | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||252 |
8 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/51SPPvy4ghL.jpg) | VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings U.S. ( Lecture notes in computer science ; 428 ) | 中央図書館 | D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.). | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||428 |
9 | ![書影](../Images/noimage.png) | VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings. 1 - Springer-Verlag New York : v.1 ( Lecture notes in computer science ; 552 ) | 中央図書館 | S. Prehn, W.J. Toetenel (eds.). | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||551 中央5階洋 007.1||L 49||552 |
選択行を:
|