Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-12 of 12 results for author "Langmaack, Hans."
Informatik: Programmierung, von P. Kandzia und H. Langmaack.
- Text
- Stuttgart, B. G. Teubner, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSD 74-490 Offsite VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1374 Offsite 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 / H. Langmaack, W.-P. de Roever, J. Vytopil, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-20 Offsite Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 2 Items
Item details Format Call Number Item Location Text *WSC-262 Offsite Item details Format Call Number Item Location Text JSE 97-155 Offsite Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).
- Text
- Berlin ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 99-373 Offsite 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 / H. Langmaack, W.-P. de Roever, J. Vytopil, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .F66 1994 Off-site Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 2 Items
Item details Format Call Number Item Location Text TJ288 .F59 1996 disc Off-site Item details Format Call Number Item Location Text TJ288 .F59 1996 book Off-site Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).
- Text
- Berlin ; New York : Springer, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .C639 1997 Off-site VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V36 1990 Off-site Translation of ALGOL 60 [by] A. A. Grau, U. Hill [and] H. Langmaack. Chief ed. K. Samuelson.
- Text
- Berlin, Heidelberg, New York, Springer, 1967.
- 1967
- 1 Item
Item details Format Call Number Item Location Text QA76.5 .G68 Off-site VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V36 1990 Off-site 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 / H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.).
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .F66 1994 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta