Showing 1 - 6 of 6 Results
4.
Formal Methods for Software Engineering : Languages, Methods, Application Domains by Roggenbach, Markus, Cerone,... ISBN: 9783030387990 List Price: $89.99
5.
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1. 3 International Workshop... by James, Phillip, Roggenbach,... ISBN: 9783319720432 List Price: $79.99
6.
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on ... by Haxthausen, Anne E., Huang,... ISBN: 9783031401312 List Price: $74.99