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

Home

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

Barnes and Noble

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

Current price: $219.99
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 / Edition 1
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 / Edition 1

Barnes and Noble

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

Current price: $219.99

Size: OS

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Prools (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

You May Also Like

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / Edition 1
Loading Inventory...
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
Current price: $54.99
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denm
Loading Inventory...
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denm
Barnes and Noble
Current price: $69.99
Communication Protocols: Principles, Methods and Specifications
Loading Inventory...
Communication Protocols: Principles, Methods and Specifications
Barnes and Noble
Current price: $169.99
Formal Engineering for Industrial Software Development: Using the SOFL Method / Edition 1
Loading Inventory...
Formal Engineering for Industrial Software Development: Using the SOFL Method / Edition 1
Barnes and Noble
Current price: $59.99
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / Edition 1
Loading Inventory...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / Edition 1
Barnes and Noble
Current price: $109.99
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / Edition 1
Loading Inventory...
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1
Loading Inventory...
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1
Barnes and Noble
Current price: $219.99
Industrial-Strength Formal Methods in Practice / Edition 1
Loading Inventory...
Industrial-Strength Formal Methods in Practice / Edition 1
Barnes and Noble
Current price: $169.99
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach / Edition 1
Loading Inventory...
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach / Edition 1
Barnes and Noble
Current price: $109.99
Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1
Loading Inventory...
Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1
Barnes and Noble
Current price: $54.99
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / Edition 1
Loading Inventory...
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / Edition 1
Loading Inventory...
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / Edition 1
Barnes and Noble
Current price: $54.99

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind