All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Chapman and Hall
Springer-Verlag
Springer-Verlag New York
Filter Results
Showing 6 of 6 Results in All Departments
Relevance
Formal Methods for Open Object-based Distributed Systems - Volume 1 (Hardcover, 1996 ed.)
R
6,118
Add to Cart
Ships in 10 - 15 working days
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France (Hardcover, 1998 ed.)
R
6,156
Add to Cart
Ships in 10 - 15 working days
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France (Paperback, Softcover reprint of the original 1st ed. 1998)
R
5,911
Add to Cart
Ships in 10 - 15 working days
SDL 2007: Design for Dependable Systems - 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Paperback, 2007 ed.)
R
1,583
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Networked and Distributed Systems - FORTE 2006 - 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Paperback, 2006 ed.)
R
3,234
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Open Object-Based Distributed Systems - 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Paperback, 2003 ed.)
R
1,717
Add to Cart
Ships in 10 - 15 working days