Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)
by:
Tommaso Bolognesi · Diego Latella
Hardcover
details (
USA
).
ISBN: 978-0-7923-7968-3
ISBN-10: 0-7923-7968-3
Springer
· 2000
