Buy Used and New HansLangmaack Books

1. Fachtagung über Programmiersprachen: München, 9.–11. März 1971: 75 (Lecture Notes in Economics and Mathematical Systems)

by Hans Langmaack, Manfred Paul

ISBN 13: 9783540060512

Format: Paperback (296 pages)
Publisher: Springer
Published: 30 Oct 1972

Save for later

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings: 428 (Lecture Notes in Computer Science)

by Hans Langmaack, Dines Bjorner, C.A.R. Hoare

ISBN 13: 9783540525134

Format: Paperback (608 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science)

by Hans Langmaack, Jan Vytopil, Willem-Paul de Roever

ISBN 13: 9783540584681

Format: Paperback (808 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later