Bjorner, D. books & textbook
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Springer /1980-12-01 Paperback / 644 Pages
isbn-10: 3540102833 / isbn-13: 9783540102830
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61)
Springer /1978-05-01 Paperback / 404 Pages
isbn-10: 3540087664 / isbn-13: 9783540087663
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science, 86)
Springer /1980-06-01 Paperback / 588 Pages
isbn-10: 3540100075 / isbn-13: 9783540100072
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. Paul, Manfred Apt, K.R. Astesiano, E. Bjorner, D. Broy, M. Cardelli, L. Mosses, P.D. Olderog, E.-R. Wirsing, M.
Springer /1991-10-04 Hardcover / 518 Pages
isbn-10: 3540539611 / isbn-13: 9783540539612
Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark,
Bjorner, Dines Ershov, Andrei Petrovich Jones, Neil D.
North-Holland /1988-01-01 Hardcover / 658 Pages
isbn-10: 0444704914 / isbn-13: 9780444704917
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science)
Barzdins, J. & Bjorner, D. (eds.)
Springer-Verlag /1991T Paperback / 619 Pages
isbn-10: 0387541314 / isbn-13: 9780387541310
