Gratisversand in ganz Deutschland!
Bookbot

Model checking nondeterministic and randomly timed systems

Buchkauf

Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer

Sprache
Erscheinungsdatum
2010
Wir benachrichtigen dich per E-Mail.

Lieferung

  • Gratis Versand in ganz Deutschland!

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben