Paperback
Verification, Model Checking, and Abstract Interpretation
€52,89€56,24
Delivery 3-4 weeks
NotifyAhmed Bouajjani
Paperback
Formal Techniques for Distributed Objects, Components, and Systems
€52,89€56,24
Delivery 3-4 weeks
Notify