
Computer Aided Verification
Pierre Wolper
₹5,606

12th International Conference on Formal Engineering Methods
by Jin Song Dong, Huibiao Zhu
Springer · 2010
Free delivery. Nothing extra to pay at checkout.
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods by Jin Song Dong & Huibiao Zhu is a book published by Springer in 2010.
Topics covered include Computer networks, Computer science, Software engineering and Computer software.