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

Home

Leveraging Applications of Formal Methods, Verification and Validation. Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part I

Barnes and Noble

Leveraging Applications of Formal Methods, Verification and Validation. Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part I

Current price: $99.99
Leveraging Applications of Formal Methods, Verification and Validation. Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part I

Barnes and Noble

Leveraging Applications of Formal Methods, Verification and Validation. Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part I

Current price: $99.99

Size: Paperback

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

You May Also Like

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Loading Inventory...
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Barnes & Noble
Current price: $109.99
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Loading Inventory...
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Barnes & Noble
Current price: $74.95
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Loading Inventory...
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Barnes & Noble
Current price: $109.99
Agent and Multi-Agent Systems: Technologies and Applications: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010. Proceedings, Part I / Edition 1
Loading Inventory...
Agent and Multi-Agent Systems: Technologies and Applications: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010. Proceedings, Part I / Edition 1
Barnes & Noble
Current price: $54.99
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Loading Inventory...
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Barnes & Noble
Current price: $54.99
Parallel Problem Solving from Nature, PPSN XI: 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I
Loading Inventory...
Parallel Problem Solving from Nature, PPSN XI: 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I
Barnes & Noble
Current price: $109.99

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind