ISBN: 9781475752632 - formal methods for distributed system development: forte / pstv 2000 ifip tc6 wg6.1 joint international conference on formal description techniques ... xiii) and protocol specification, testing a (3 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (3)

bis

Benutzerdefinierte Preisspanne (EUR)

bis