7 results
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for D. Bjorner

  1. Cover: Abstract Software Specifications - Springer
    D. Bjorner
    Abstract Software Specifications
    01/2014
    Springer
    9783662202869 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  2. Cover: Formal Description of Programming Concepts - Springer
    Erich J. Neuhold | Manfred Paul
    Formal Description of Programming Concepts
    10/1991
    Springer
    9783540539612 (ISBN)
    Book
    Hardback
    €106.99
    Shipment within 10-15 days
  3. Cover: Towards a Formal Description of Ada - Springer
    D. Bjorner | O.N. Oest
    Towards a Formal Description of Ada
    12/1980
    Springer
    9783540102830 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  4. Cover: The Vienna Development Method: The Meta-Language - Springer
    D. Bjorner | C.B. Jones
    The Vienna Development Method: The Meta-Language
    05/1978
    Springer
    9783540087663 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €32.09
    Shipment within 10-15 days
  5. Cover: Abstract Software Specifications - Springer
    D. Bjorner
    Abstract Software Specifications
    1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
    06/1980
    Springer
    9783540100072 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €42.79
    Shipment within 10-15 days
  6. This image is currently not available.
    D. Bjorner | M. Broy | I. V. Pottosin
    Formal Methods in Programming and Their Applications
    International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
    11/1993
    Springer
    9780387573168 (ISBN)
    Book
    Paperback/Softback
    €56.99
    Article not available
  7. This image is currently not available.
    D. Bjorner | C. B. Jones
    The Vienna Development Method
    The Meta - Language
    06/1978
    Springer
    9780387087665 (ISBN)
    Book
    Hardback
    €23.92
    Exhausted; no reprint