9780387510804 - linear time, branching time, and partial order in logics and models for concurrency: school/workshop, noordwijkerhout, the netherlands may 30-june 3, (lecture notes in computer science, 354) von de roever, w. p.; de bakker, j. w.; school/workshop on linear time, branching time, and partial order in logics and models for concurrency (1988 : noordwijkerhout, netherlands) (3 Ergebnisse)

ISBN
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (3)

bis

Benutzerdefinierte Preisspanne (EUR)

bis