本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc1996.<YU111-A197>
国立国会図書館
  • 著者標目Abrial, 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)
紙図書
Springer-Verlagc1994.<M15-A9466>
国立国会図書館
  • 著者標目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 / 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)
紙図書
Springer-Verlagc1990.<M15-A6895>
国立国会図書館
  • 著者標目Bjø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
紙図書
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)Springerc1998
全国の図書館

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

Formal methods for industrial applications : specifying and programming the steam boiler control
紙図書
Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (eds.)Springerc1996
全国の図書館

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
紙図書
H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)Springer-Verlagc1994
全国の図書館

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
紙図書
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)Springer-Verlagc1990
全国の図書館

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)
紙図書
Springer-Verlag1972.<M159-24>
国立国会図書館
  • 著者標目Langmaack, Hans. Paul, Manfred, 1932- Gesellsc...

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
紙図書
Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred PaulSpringer-Verlag1972
全国の図書館

Translation of Algol 60

Translation of Algol 60
紙図書
A.A. Grau, U. Hill, H. LangmaackSpringer1967
全国の図書館

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

Zur Konstruktion von Holomorphiehüllen unverzweigter Gebiete über dem Cn
紙図書
von Hans Langmaack[s.n.]1960
全国の図書館

検索結果は以上です。

RSS