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

Barnes and Noble

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, Proceedings

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...

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

Barnes and Noble
Current price: $44.99
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, Revised Selected Papers
Loading Inventory...

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, Revised Selected Papers

Barnes and Noble
Current price: $69.99
Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, Proceedings
Loading Inventory...

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, Proceedings

Barnes and Noble
Current price: $54.99
Powered by Adeptmind