Jump to main content

yr 〜
yr

Search results 2

Reactive systems : modelling, specification and verification : hbk

Reactive systems : modelling, specification and verification : hbk
Paper図書
Luca Aceto ... [et al.]Cambridge University Pressc2007
Other Libraries in Japan
  • Subject Heading...- Verification System design -- Mathematical models
  • Subject Heading (ID)...- Verification System design -- Mathematical models

Models in system design

Models in system design
Paper図書
edited by Jean-Michel Berge, Oz Levia and Jacques RouillardKluwer Academicc1997
Other Libraries in Japan
  • Subject HeadingSystem design -- Mathematical models Computer software -- Developm...
  • Subject Heading (ID)System design -- Mathematical models Computer software -- Developm...

Reached to the end of result.

RSS