
Model Checking Software
Alex Groce, Madanlal Musuvathi
₹5,701

13 International Workshop
by Markus Holzer, Martin Kutrib, Giovanni Pighizzini
Springer · 2011
Free delivery. Nothing extra to pay at checkout.
Published by Springer in 2011, Descriptional Complexity of Formal Systems: 13 International Workshop by Markus Holzer, Martin Kutrib & others is available as a new copy.
Its main subjects are Logic design, Computer science, Software engineering and Formal languages.