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 D. Bjørner

出版情報:

Berlin ; New York : Springer-Verlag, 1980

著者名:

シリーズ名:

Lecture notes in computer science ; 86 <BA00009279>

ISBN:

9783540100072 [3540100075] (: gw)

9780387100074 [0387100075] (: us)

注記:

Sponsored by the Commission of the European Communities and others
Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	Electronic digital computers--Programming--Congresses
分類・件名:	LCC : QA76.6 DDC : 001.64/2 LCSH : Electronic digital computers -- Programming -- Congresses
LCCN:	80017827
TTLL:	eng
言語:	英語
形態:	xi, 566 p. : ill. ; 25 cm
書誌ID:	BA03669398

内容紹介

目次情報

類似資料:

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 図書 ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings European Symposium on Programming, Ganzinger, Harald, 1950-, Colloquium on Trees in Algebra and Programming Springer-Verlag
2 電子ブック Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings Bjøorner, Dines, SpringerLink (Online service) Springer-Verlag	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 図書 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings European Symposium on Programming, Jones, Neil D., 1941- Springer-Verlag	9 図書 Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall
4 図書 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings European Symposium on Programming, Krieg-Brückner, B. (Bernd) Springer-Verlag	10 図書 RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings 後藤, 英一(1931-), RIMS Symposium on Software Science and Engineering Springer-Verlag
5 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of Joint European Conferences on Theory and Practice of … European Symposium on Programming, Hankin, Chris Springer-Verlag	11 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag
6 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings European Symposium on Programming, Nielson, Hanne Riis, 1954- Springer-Verlag	12 図書 Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V., Kumar, S. (Sanjeev) Springer-Verlag