• Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)
1 1

books world

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)

Rs.7,990.00 PKR
Rs.7,990.00 PKR
Sale Sold out

Low stock: 1 left

Collapsible row

Author: and Verification TC6 WG6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification Testing IFIP, Tommaso Bolognesi, Diego Latella
Publisher: Springer
Edition Year: 2000
ISBN: 9780792379683

View full details
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55) Rs.7,990.00