Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (Paperback, 2014 ed.)
Loot Price: R2,417
Discovery Miles 24 170
|
|
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (Paperback, 2014 ed.)
Series: Programming and Software Engineering, 8461
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 34th IFIP WG 6.1
International Conference on Formal Techniques for Distributed
Objects, Components and Systems, FORTE 2014, held in Berlin,
Germany, in June 2014, as part of the 9th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2014. The
18 revised full papers presented were carefully reviewed and
selected from 50 submissions. The papers present a wide range of
topics on specification languages and type systems, monitoring and
testing, security analysis and bisimulation, abstraction and
reduction.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.