9 results
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Dines Bjorner

  1. Cover: Perspectives of System Informatics - Springer
    Dines Bjorner | Manfred Broy | Alexandre Zamulin
    Perspectives of System Informatics
    01/2014
    Springer
    9783662164921 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  2. Cover: VDM '90. VDM and Z - Formal Methods in Software Development - Springer
    Dines Bjorner | C. A. R. Hoare | Hans Langmaack
    VDM '90. VDM and Z - Formal Methods in Software Development
    01/2014
    Springer
    9783662186312 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  3. Cover: Modelling Systems - Cambridge University Press
    John Fitzgerald | Peter Gorm Larsen
    Modelling Systems
    Practical Tools and Techniques in Software Development
    06/1998
    Cambridge University Press
    9780521623483 (ISBN)
    Book
    Mixed media product
    €45.44
    Article not available
  4. Cover: Modelling Systems - Cambridge University Press
    John Fitzgerald | Peter Gorm Larsen
    Modelling Systems
    Practical Tools and Techniques in Software Development
    06/1998
    Cambridge University Press
    9780521626057 (ISBN)
    Book
    Mixed media product
    €117.03
    Article not available
  5. This image is currently not available.
    Dines Bjorner | V. Kotov
    Images of Programming
    Dedicated to the Memory of A.P.Ershov - Papers Collected Under the Auspices of IFIP TC2
    12/1991
    Elsevier
    9780444893383 (ISBN)
    Book
    Hardback
    €85.54
    Exhausted; no reprint
  6. This image is currently not available.
    Dines Bjorner
    Software Engineering 1-3 2999
    approx. 05/2999
    Springer
    9783540211525 (ISBN)
    Book
    Unfortunately, price unknown
    The article will not be published
  7. This image is currently not available.
    Dines Bjorner | A. P. Ershov | N.D. Jones
    Partial Evaluation and Mixed Computation
    Workshop Proceedings
    11/1988
    Elsevier
    9780444704917 (ISBN)
    Book
    Hardback
    €131.45
    Exhausted; no reprint
  8. This image is currently not available.
    Dines Bjorner | etc.
    Formal Specification and Software Development
    01/1982
    Prentice Hall
    9780133290035 (ISBN)
    Book
    Hardback
    €56.89
    Exhausted; no reprint
  9. This image is currently not available.
    Dines Bjorner
    Formal Description of Programming Concepts: 2nd
    Conference Proceedings
    05/1983
    Elsevier
    9780444866196 (ISBN)
    Book
    Hardback
    €44.45
    Exhausted; no reprint