Logic, Rewriting, and Concurrency
3 contributors - Paperback
£44.99
Designing Reliable Distributed Systems
Peter Csaba Ölveczky - Paperback
£59.99
Theoretical Aspects of Computing – ICTAC 2021
2 contributors - Paperback
£64.99
Formal Aspects of Component Software
Formal Techniques for Safety-Critical Systems
Software Engineering and Formal Methods