9783540196358 - formal methods for trustworthy computer systems (fm89): report from fm89: a workshop on the assessment of formal methods for trustworthy computer . . ... systems 23–27 july 1989, halifax, canada (4 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (4)

  • Neu (4)

bis

Benutzerdefinierte Preisspanne (EUR)

bis