Jump to main content

yr 〜
yr

Search results 3

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...ir, Tim, 1939- Bertran, Miquel.

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings
Paper図書
Miquel Bertran, Teodor Rus, (eds.)Springerc1997
Other Libraries in Japan
  • Author Heading...buted Software Bertran, Miquel Rus, Teodor

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

Reached to the end of result.

RSS