Jump to main content

yr 〜
yr

Search results 5

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds. (Lecture notes in computer science)

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M159-A135>
National Diet Library
  • Author HeadingHoffmann, Berthold, 1953- Krieg-Brückner, B. (Bernd)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.). (Lecture notes in computer science)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8160>
National Diet Library
  • Author HeadingEuropean Symposium on Programming (4th : 1992 : Rennes, France) Krieg-Brückner, B. (Bernd)

Algebraic foundations of systems specification

Algebraic foundations of systems specification
Paper図書
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingAstesiano, E. (Egidio) Kreowski, H.-J. (Hans-Jörg) Krieg-Brückner, B. (Bernd)

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system : us : gw

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system : us : gw
Paper図書
Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingHoffmann, Berthold Krieg-Brückner, B. (Bernd)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings : gw : us

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings : gw : us
Paper図書
B. Krieg-Brückner (ed.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingEuropean Symposium on Programming Krieg-Brückner, B. (Bernd)

Reached to the end of result.

RSS