The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

Barnes and Noble
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1

Barnes and Noble
Protocol Specification, Testing and Verification XV / Edition 1

Protocol Specification, Testing and Verification XV / Edition 1

Barnes and Noble
Protocol Specification, Testing and Verification XIV / Edition 1

Protocol Specification, Testing and Verification XIV / Edition 1

Barnes and Noble
Formal Techniques for Networked and Distributed Systems: FORTE 2001

Formal Techniques for Networked and Distributed Systems: FORTE 2001

Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Edition 1

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Edition 1

Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / Edition 1

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / Edition 1

Barnes and Noble
Formal Specification: Techniques and Applications / Edition 1

Formal Specification: Techniques and Applications / Edition 1

Barnes and Noble
The Use of Formal Specification of Software: June 25-27, 1979, Berlin

The Use of Formal Specification of Software: June 25-27, 1979, Berlin

Barnes and Noble
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / Edition 1

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / Edition 1

Barnes and Noble
Formal Specification and Design

Formal Specification and Design

Barnes and Noble
Formal Methods and Object Technology

Formal Methods and Object Technology

Barnes and Noble
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Barnes and Noble
Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems / Edition 1

Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems / Edition 1

Barnes and Noble
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Barnes and Noble
Powered by Adeptmind