Models in Software Engineering
Holger Giese
₹4,130
Formal Techniques for Distributed Systems
Joint 14th Ifip Wg 6.1 International Conference
by Holger Giese, Grigore Rosu
Springer · 2012
₹5,579
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference by Holger Giese & Grigore Rosu is a book published by Springer in 2012.
Its main subjects are Operating systems (computers), System design, Electronic data processing and Congresses.
Book details
- ISBN-13
- 9783642307928
- ISBN-10
- 3642307922
- Authors
- Holger Giese, Grigore Rosu
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- Distributed processing
More by Holger Giese and related titles
Architecting Critical Systems
Holger Giese
₹5,542
Model-Based Engineering of Embedded Real-Time Systems
Holger Giese, Gabor Karsai, Edward A. Lee
₹5,587
Graph Transformation
Holger Giese, Barbara König
₹3,802
Apache Hadoop YARN
Joseph Niemiec, Jeff Markham, Doug Eadline, Arun C. Murthy, Vinod Kumar Vavilapalli
₹2,978
Formal Methods for Open Object-based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
₹4,252
Ruling Distributed Dynamic Worlds
Peter Sapaty
₹8,745
Security Engineering
Ross J. Anderson
₹3,404
Biomedical Diagnostics and Clinical Technologies
Manuela Pereira
₹6,430
Distributed Programming with Ruby
Mark Bates
₹3,671
Advances in Intelligent and Distributed Computing
International Symposium on Intelligent and Distributed Computing (1st 2007 Craiova, Romania)
₹1,642
Distributed Computing
Faith Ellen Fich
₹5,803