Isbn: 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 (14 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (14)

bis

Benutzerdefinierte Preisspanne (EUR)

bis