Cover of Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based by Smith, Scott F., Talcott, Carolyn L., ISBN 9781475710182
Computer Architecture

Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based

FORMAL METHODS FOR OPEN OBJECT

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9781475710182

โ‚น22,703 2%
โ‚น23,219

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9781475710182
Subtitle FORMAL METHODS FOR OPEN OBJECT
Publisher Springer
Publication date August 2012
Language English
MRP ยฃ179.99 GBP
Page count 432
Item weight 133 g

Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based published by Springer.