Jump to main content

yr 〜
yr

Search results 5

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings : gw : us

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings : gw : us
Paper図書
Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingInternational Symposium of Formal Methods Europe Naftalin, Maurice Denvir, Tim Bertran, Miquel

5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 : New York : Berlin

5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 : New York : Berlin
Paper図書
Cliff B. Jones, Roger C. Shaw and Tim Denvir (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingRefinement Workshop Jones, Cliff B. Shaw, Roger C. F. Denvir, Tim British Computer Society

Formal aspects of measurement : proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Formal aspects of measurement : proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Paper図書
Tim Denvir, Ros Herman, and R.W. Whitty (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingBCS-FACS Workshop on Formal Aspects of Measurement Denvir, Tim Herman, Ros Whitty, R. W. (Ro...

Introduction to discrete mathematics for software engineering pbk

Introduction to discrete mathematics for software engineering pbk
Paper図書
Tim DenvirMacmillan Education1986
Other Libraries in Japan
  • Author HeadingDenvir, Tim

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.). (Lecture notes in computer science)

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9546>
National Diet Library
  • Author Heading...Maurice, 1951- Denvir, Tim, 1939- Bertran, Miquel.

Reached to the end of result.

RSS