Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	1. Fachtagung über Programmiersprachen : München, 9. - 11. März 1971 / hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack by Langmaack, Hans Gesellschaft für Informatik Publication details: Berlin [u.a] : Springer, 1972 Availability: Items available for reference: Library: Not for loan (1).
	2.	Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds. by Abrial, Jean-Raymond Börger, E. (Egon), 1946- Langmaack, Hans Series: Lecture notes in computer science ; 1165. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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.). by COMPOS '97 (1997 : Malente, Germany) Roever, W.-P. de, 1943- [editor.] Langmaack, Hans [editor] Pnueli, Amir, 1941-2009 [editor.] Series: Lecture notes in computer science ; 1536. 0302-9743. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, [1998]Copyright date: ©1998 Other title: COMPOS '97 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	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. by Langmaack, Hans Roever, W.-P. de, 1943- Vytopil, J. (Jan), 1947- Working Group Provably Correct Systems Series: Lecture notes in computer science ; 863. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994 Other title: ProCoS Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / edited by D. Bjørner, C.A.R. Hoare, H. Langmaack. by VDM (Symposium) (3rd : 1990 : Kiel, Germany) Bjørner, D. (Dines), 1937- Hoare, C. A. R. (Charles Antony Richard), 1934- Langmaack, Hans Series: Lecture notes in computer science ; 428. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1990 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha