Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V

Springer

Pages: 428, Paperback, Springer

Compare prices (1 shop)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	39,99 GBP	Go to shop

Similar products

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... and Communication Protocols (FORTE XI) and P
From 39,99 EUR
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
From 39,99 EUR
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
From 39,99 EUR
Protocols for High-Speed Networks VI: IFIP TC6 WG6.1 & WG6.4 / IEEE ComSoc TC on Gigabit Networking Sixth International Workshop on Protocols for ... ... August 25-27, 1999, Salem, Massachusetts, USA
From 39,99 EUR
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed C
From 53,15 EUR
Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st ... (Lecture Notes in Computer Science, 16589)
From 49,99 EUR