9780387566627 - fme '93: industrial-strength formal methods : first international symposium of formal methods europe odense, denmark, april 19-23, 1993 proceedings (lecture notes in computer science, 670) von international symposium of formal methods europe 1993 odense, denmark; woodcock, j. c. p. (1 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (1)

bis

Benutzerdefinierte Preisspanne (EUR)

bis