
Formal Techniques for Distributed Systems
Holger Giese, Grigore Rosu
₹5,579

International Dagstuhl Workshop
by Holger Giese, Gabor Karsai, Edward A. Lee
Springer · 2011
Free delivery. Nothing extra to pay at checkout.
Published by Springer in 2011, Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop by Holger Giese, Gabor Karsai & others is available as a new copy.
Topics covered include Logic design, Computer system performance, Computer simulation and Computer science.