Compositional Verification of Concurrent and Real-Time Systems
196
Pagini
2002
An
Hardcover
Copertă
Editura
Springer-Verlag New York Inc.
Copertă
Hardcover
Pagini
196
An publicare
2002
ISBN
9781402070259
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
