by J.C. Bradfield
Hardcover
details (Italy).
(see also: Copertina rigida)
details (Spain - España).
(see also: Tapa dura)
ISBN: 978-0-8176-3625-8
ISBN-10: 0-8176-3625-0
Birkhäuser · 1992
|
|
by J.C. BradfieldHardcover
details (Italy). details (Spain - España).
ISBN: 978-0-8176-3625-8 ISBN-10: 0-8176-3625-0 Birkhäuser · 1992 |
| See also (possibly by other authors): | ||
| 1991 | Gebundene Ausgabe | Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science) |