Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings

>> 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. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 86 <BA00009279>

著者名:

ISBN:

9783540100072 [3540100075] (: gw)
9780387100074 [0387100075] (: us)

書誌ID:

BA03669398

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Sponsored by the Commission of the European Communities and others Includes bibliographies
主題:	Electronic digital computers--Programming--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings Bjorner, D., SpringerLink (Online service)	7 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us) Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag
2 図書 Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, … IFIP Working Conference on Formal Description of Programming Concepts, Bjørner, D. (Dines), 1937-, IFIP Technical … North-Holland Pub. Co.	8 電子ブック Software Engineering 2 Bjørner, Dines, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Abstract Software Specifications Bjorner SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Domain Science and Engineering : A Foundation for Software Development Bjørner, Dines. SpringerLink Books - AutoHoldings, Springer International Publishing AG
4 図書 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings (: gw ; : us) VDM-Europe Symposium, Bjørner, D. (Dines), 1937- Springer-Verlag	10 電子ブック Logics of Specification Languages Bjørner, Dines, Bjorner, Dines, Henson, Martin C. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us) European Symposium on Programming, Jones, Neil D., 1941- Springer-Verlag	11 図書 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us) European Symposium on Programming, Krieg-Brückner, B. (Bernd) Springer-Verlag
6 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings (: gw ; : us) VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934- Springer-Verlag	12 図書 Towards a formal description of Ada (: gw ; : us) Oest, O. N., Bjørner, D. (Dines), 1937- Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12