The following text field will produce suggestions that follow it as you type.

Barnes and Noble

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Unfortunately, this item is no longer available, but we found some similar items you might like.
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, Revised Selected Papers
Loading Inventory...
Barnes and Noble

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, Revised Selected Papers

Current price: $44.99
From Barnes and Noble
Business Modeling and Software Design: 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, Proceedings
Loading Inventory...
Barnes and Noble

Business Modeling and Software Design: 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, Proceedings

Current price: $54.99
From Barnes and Noble
Powered by Adeptmind