Yazar
Dines Bjorner
16 cilt bulundu.
Dines Bjørner · Prentice-Hall
501 sayfa · 1982
Electronic digital computers / Software compatibility / Programming / Development / Computer software
Dines Bjorner · Springer
780 sayfa · 2006
Logic design / Computer science / Software engineering / Informatique / Computer programming
Dines Bjorner · Springer
766 sayfa · 2006
Logic design / Computer science / Software engineering / Computer programming / Programming Techniques
Dines Bjørner, V. E. Kotov · Distributors for the United States and Canada, Elsevier Science Pub. Co.
270 sayfa · 1991
(Andreǐ Petrovich) / Computer programming / Computer science / Information science
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok
IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark), Dines Bjorner, Andrei Petrovich Ershov · Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
625 sayfa · 1988
Automatic programming (Computer science) / Compiling (Electronic computers) / Computer programming / Congresses