Jump to main content

yr 〜
yr

Search results 2

Formal program development : IFIP TC 2/WG 2.1 state of the art report : gw : us

Formal program development : IFIP TC 2/WG 2.1 state of the art report : gw : us
Paper図書
Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingMöller, Bernhard Partsch, Helmut A. Schuman, Steve IFIP TC 2/WG 2.1

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.). (Lecture notes in computer science)

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M159-A146>
National Diet Library
  • Author HeadingMöller, Bernhard, 1953- Partsch, Helmut A., 1950- Schuman, Steve, 1950- IFIP TC 2/WG 2.1.

Reached to the end of result.

RSS