Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

>> Amazon.co.jp

このページのQRコード

Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

種類:

電子ブック

責任表示:

edited by Dines Bjøorner

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1980

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 86

ISBN:

9783540381365 [3540381368]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-10007-5

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Software engineering FREE : Computer Science FREE : Software Engineering
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00005696

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings Bjorner, D., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Software Engineering Education : 7th SEI CSEE Conference San Antonio, Texas, USA, January 5–7, 1994 Proceedings Díaz-Herrera, Jorge L., SpringerLink (Online service) Springer-Verlag
2 図書 Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings Copenhagen Winter School on Abstract Software Specifications, Commission of the European Communities, Bjørner, D. … Springer-Verlag	8 電子ブック Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service) Springer-Verlag
3 電子ブック Specification and Design of Software Systems : Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings Knuth, Elöd, Neuhold, Erich J., SpringerLink (Online service) Springer-Verlag	9 電子ブック TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings Mosses, Peter D., Nielsen, Mogens, Schwartzbach, Michael I., SpringerLink (Online service) Springer-Verlag
4 電子ブック Software Process Technology : Third European Workshop, EWSPT '94 Villard de Lans, France, February 7–9, 1994 Proceedings Warboys, Brian C., SpringerLink (Online service) Springer-Verlag	10 電子ブック ESEC '89 : 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings Ghezzi, C., McDermid, J. A., SpringerLink (Online service) Springer-Verlag
5 電子ブック Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings Bode, Arndt, SpringerLink (Online service) Springer-Verlag	11 電子ブック Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 … Velde, Walter, Perram, John W., SpringerLink (Online service) Springer-Verlag
6 電子ブック Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings Hagiya, Masami, Mitchell, John C., SpringerLink (Online service) Springer-Verlag	12 電子ブック Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types Sherman, Mark Steven, SpringerLink (Online service) Springer-Verlag