Filter

Showing 2353–2368 of 6364 results

-80%
Add to Wishlist
+
 Quick View

2022

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006,Advances Lectures

eText ISBN: 9783540343059 Original price was: $54.99.Current price is: $11.00.
-82%
Add to Wishlist
+
 Quick View

2022

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings eBook

eText ISBN: 9783642324697 Original price was: $49.99.Current price is: $9.00.
-80%
Add to Wishlist
+
 Quick View

2022

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings eBook

eText ISBN: 9783642410109 Original price was: $49.99.Current price is: $10.00.
-80%
Add to Wishlist
+
 Quick View

2023

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings eBook

eText ISBN: 9783030270087 Original price was: $54.99.Current price is: $11.00.
-80%
Add to Wishlist
+
 Quick View

2022

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings eBook

eText ISBN: 9783030582982 Original price was: $54.99.Current price is: $11.00.
-83%
Add to Wishlist
+
 Quick View

2022

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings eBook

eText ISBN: 9783030908706 Original price was: $109.00.Current price is: $19.00.
-82%
Add to Wishlist
+
 Quick View

2022

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings eBook

eText ISBN: 9783031274817 Original price was: $89.00.Current price is: $16.00.
-84%
Add to Wishlist
+
 Quick View

Bestsellers24

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings eBook

eText ISBN: 9783319498157 Original price was: $54.99.Current price is: $9.00.
-80%
Add to Wishlist
+
 Quick View

Bestsellers24

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings eBook

eText ISBN: 9783030001513 Original price was: $54.99.Current price is: $11.00.
-84%
Add to Wishlist
+
 Quick View

Bestsellers24

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 eBook

eText ISBN: 9783658099947 Original price was: $54.99.Current price is: $9.00.
-79%
Add to Wishlist
+
 Quick View

Trending

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings eBook

eText ISBN: 9783319602257 Original price was: $69.99.Current price is: $15.00.
-73%
Add to Wishlist
+
 Quick View

Trending

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings eBook

eText ISBN: 9783319926124 Original price was: $59.99.Current price is: $16.00.
-73%
Add to Wishlist
+
 Quick View

Trending

Formal Techniques for Networked and Distributed Systems – FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings eBook

eText ISBN: 9783540361350 Original price was: $99.00.Current price is: $27.00.
-84%
Add to Wishlist
+
 Quick View

2022

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings eBook

eText ISBN: 9783540457398 Original price was: $54.99.Current price is: $9.00.
-83%
Add to Wishlist
+
 Quick View

Trending

Forthcoming Networks and Sustainability in the IoT Era: First EAI International Conference, FoNeS – IoT 2020, Virtual Event, October 1-2, 2020, Proceedings eBook

eText ISBN: 9783030694319 Original price was: $74.99.Current price is: $13.00.
-78%
Add to Wishlist
+
 Quick View

Trending

Foundations for the Web of Information and Services: A Review of 20 Years of Semantic Web Research eBook

eText ISBN: 9783642197970 Original price was: $179.00.Current price is: $40.00.