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

Home

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

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

You May Also Like

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 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 2001

Formal Techniques for Networked and Distributed Systems: FORTE 2001

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
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 Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California

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
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Barnes and Noble
Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Barnes and Noble
Middleware 2001: IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings

Middleware 2001: IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings

Barnes and Noble
Protocols for High Speed Networks: 7th IFIP/IEEE International Workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002. Proceedings / Edition 1

Protocols for High Speed Networks: 7th IFIP/IEEE International Workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002. Proceedings / Edition 1

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 Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

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

Barnes and Noble
Graph-Theoretic Concepts in Computer Science: 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings / Edition 1

Graph-Theoretic Concepts in Computer Science: 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings / Edition 1

Barnes and Noble
Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18-19, 2000, Schloß Eringerfeld, Germany / Edition 1

Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18-19, 2000, Schloß Eringerfeld, Germany / Edition 1

Barnes and Noble
NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks: IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings

NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks: IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings

Barnes and Noble
Powered by Adeptmind