9 results
Type of media (2)
Availability (2)
Language (3)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Hans Langmaack

  1. 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
  2. Cover: Compositionality: The Significant Difference - Springer
    Willem-Paul de Roever | Hans Langmaack | Amir Pnueli
    Compositionality: The Significant Difference
    International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
    12/1998
    Springer
    9783540654933 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  3. Cover: Formal Methods for Industrial Applications - Springer
    Jean-Raymond Abrial | Egon Börger | Hans Langmaack
    Formal Methods for Industrial Applications
    Specifying and Programming the Steam Boiler Control
    10/1996
    Springer
    9783540619291 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  4. Cover: Formal Techniques in Real-Time and Fault-Tolerant Systems - Springer
    Hans Langmaack | Willem-Paul de Roever | Jan Vytopil
    Formal Techniques in Real-Time and Fault-Tolerant Systems
    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
    09/1994
    Springer
    9783540584681 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  5. Cover: 1. Fachtagung über Programmiersprachen - Springer
    Hans Langmaack | Manfred Paul
    1. Fachtagung über Programmiersprachen
    München, 9.-11. März 1971
    10/1972
    1st EDN1st Edition
    Springer
    9783540060512 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €54.99
    Shipment within 10-15 days
  6. Cover: LOGLAN '88 - Report on the Programming Language - Springer
    Antoni Kreczmar | Andrzej Salwicki | Marek Warpechowski
    LOGLAN '88 - Report on the Programming Language
    Foreword by Hans Langmaack
    03/1990
    Springer
    9783540523253 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: VDM '90. VDM and Z - Formal Methods in Software Development - Springer
    Dines Bjørner | C.A.R. Hoare | Hans Langmaack
    VDM '90. VDM and Z - Formal Methods in Software Development
    Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    04/1990
    Springer
    9783540525134 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. This image is currently not available.
    Formal Techniques in Real-Time and Fault-Tolerant Systems
    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, Procos, Lubeck, Germany, September 19-23, 1994: Proceedings
    01/1994
    Springer
    9780387584683 (ISBN)
    Book
    €93.83
    Article not available
  9. This image is currently not available.
    Hans Langmaack | Bodo Schlender | Joachim W. Schmidt
    Berichte des German Chapter of the ACM / Implementierung PASCAL-artiger Programmiersprachen
    Tagung II/1982 am 12.7.1982 in Kiel
    1982
    Vieweg & Teubner
    9783519024309 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available