1.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
by Roggenbach, Markus, Cerone,...
ISBN: 9783030387990
List Price: $89.99
2.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
by Roggenbach, Markus, Cerone,...
ISBN: 9783030388027
3.
Concurrency, Specification and Programming : Revised Selected Papers from the 29th Internati...
by Schlingloff, Bernd-Holger, ...
ISBN: 9783031266539