Langmaack, Hans books & textbook
1. Fachtagung über Programmiersprachen: München, 9.–11. März 1971 (Lecture Notes in Economics and Mathematical Systems, 75) (German Edition)
Springer /1972-10-30 Paperback / 294 Pages
isbn-10: 3540060510 / isbn-13: 9783540060512
LOGLAN '88 - Report on the Programming Language (Lecture Notes in Computer Science, 414)
Kreczmar, Antoni Salwicki, Andrzej Warpechowski, Marek Langmaack, Hans Ciesielski, Boleslaw Lao, Marek Litwiniuk, Andrzej Przytycka, Teresa M. Warpechowska, Jolanta Szalas, Andrzej Szczepanska-Wasersztrum, Danuta
Springer /1990-03-07 Paperback / 145 Pages
isbn-10: 3540523251 / isbn-13: 9783540523253
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)
Roever, Willem-Paul de Langmaack, Hans Pnueli, Amir
Springer /1998-12-18 Paperback / 655 Pages
isbn-10: 3540654933 / isbn-13: 9783540654933
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science, 1165)
Abrial, Jean-Raymond Börger, Egon Langmaack, Hans
Springer /1996-10-30 Paperback / 532 Pages
isbn-10: 3540619291 / isbn-13: 9783540619291
Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)
Langmaack, Hans Roever, Willem-Paul de Vytopil, Jan
Springer /1994T Paperback / 787 Pages
isbn-10: 3540584684 / isbn-13: 9783540584681
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science, 428)
Bjørner, Dines Hoare, C.A.R. Langmaack, Hans
Springer /1990-04-04 Paperback / 608 Pages
isbn-10: 3540525130 / isbn-13: 9783540525134
