Jump to main content

yr 〜
yr

Search results 11

Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds. (Lecture notes in computer science ; 1165)

Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds. (Lecture notes in computer science ; 1165)
Paper図書
Springerc1996.<YU111-A197>
National Diet Library
  • Author HeadingAbrial, Jean-Raymond. Börger, E. (Egon), 1946- Langmaack, Hans.

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. (Lecture notes in computer science)

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. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9466>
National Diet Library
  • Author HeadingLangmaack, Hans. Roever, W.-P. de. Vytopil, J...

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6895>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- Hoare, Charles Antony Richard, 1934- Langmaack, Hans. VDM-Europe.

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Paper図書
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingCOMPOS Roever, W.-P. de Langmaack, Hans Pnueli, A. (Amir)

Formal methods for industrial applications : specifying and programming the steam boiler control

Formal methods for industrial applications : specifying and programming the steam boiler control
Paper図書
Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingAbrial, Jean-Raymond Börger, Egon Langmaack, Hans

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

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
Paper図書
H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading...lerant Systems Langmaack, Hans Roever, W.-P. de Vytopil, J. ...

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings : gw : us

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings : gw : us
Paper図書
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingVDM-Europe Symposium Bjørner, D. (Dines) Langmaack, Hans Hoare, C. A. R. (Charles Anto...

1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971. Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred Paul. (Lecture notes in economics and mathematical systems ; 75) (Gesellschaft für Informatik. Bericht, Nr. 3)

1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971. Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred Paul. (Lecture notes in economics and mathematical systems ; 75) (Gesellschaft für Informatik. Bericht, Nr. 3)
Paper図書
Springer-Verlag1972.<M159-24>
National Diet Library
  • Author HeadingLangmaack, Hans. Paul, Manfred, 1932- Gesells...

1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971 : gw : us

1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971 : gw : us
Paper図書
Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred PaulSpringer-Verlag1972
Other Libraries in Japan
  • Author HeadingFachtagung über Programmiersprachen Langmaack, Hans Paul, Manfred Gesellschaft fü...

Translation of Algol 60

Translation of Algol 60
Paper図書
A.A. Grau, U. Hill, H. LangmaackSpringer1967
Other Libraries in Japan
  • Author HeadingGrau, Albert A. Hill, Ursula Langmaack, Hans

Zur Konstruktion von Holomorphiehüllen unverzweigter Gebiete über dem Cn

Zur Konstruktion von Holomorphiehüllen unverzweigter Gebiete über dem Cn
Paper図書
von Hans Langmaack[s.n.]1960
Other Libraries in Japan
  • Author HeadingLangmaack, Hans

Reached to the end of result.

RSS