عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.86
QA
76
.
L4
v
.
86
کتابخانه
محل استقرار
English
Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
Berlin
New York : Springer-Verlag
1980
xi, 566 p. : ill. ; 25 cm
Lecture notes in computer science, 68
Sponsored by the Commission of the European Communities and others
Includes bibliographies
edited by D. Bjorner
1
Congresses ، Electronic digital computers - Programming
QA
76
.
L4
v
.
86
CA
001
.
64/2
AU
AU Bjorner, Dines 1937-
CO Commission of the European Communities
TI
SE
Copenhagen Winter School on Abstract Software Specifications, )1979(
