Viimati ilmunud raamatud

Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerba, Tunisia, October 1618, 2024, Proceedings

Wed, 17 Apr 2024 00:00:00 GMT

Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez
ISBN: 9783031853555
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 17-Apr-2024
Hind: 56,11 �

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 89, 2024, Proceedings 2024 ed.

Fri, 13 Oct 2023 00:00:00 GMT

Thomas Neele, Anton Wijs
ISBN: 9783031661488
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Oct-2023
Hind: 48,70 �

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 36, 2023, Proceedings 1st ed. 2023

Sun, 02 Oct 2022 00:00:00 GMT

Panagiotis Katsaros, Laura Nenzi
ISBN: 9783031442667
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-Oct-2022
Hind: 67,23 �

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 2627, 2023, Proceedings 1st ed. 2023

Mon, 02 May 2022 00:00:00 GMT

Georgiana Caltais, Christian Schilling
ISBN: 9783031321566
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-May-2022
Hind: 53,33 �

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 1718, 2022, Revised Selected Papers 1st ed. 2023

Wed, 02 Feb 2022 00:00:00 GMT

Akash Lal, Stefano Tonetta
ISBN: 9783031258022
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-Feb-2022
Hind: 48,70 �

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings 1st ed. 2022

Thu, 16 Dec 2021 00:00:00 GMT

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
ISBN: 9783031212215
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 16-Dec-2021
Hind: 62,59 �

Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 2830, 2022, Proceedings 1st ed. 2022

Fri, 24 Sep 2021 00:00:00 GMT

Thao Dang, Volker Stolz
ISBN: 9783031171956
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 24-Sep-2021
Hind: 63,52 �

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings 1st ed. 2022

Mon, 23 Aug 2021 00:00:00 GMT

Owolabi Legunsen, Grigore Rosu
ISBN: 9783031150760
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 23-Aug-2021
Hind: 95,02 �

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 710, 2022, Proceedings, Part I 1st ed. 2022

Sun, 08 Aug 2021 00:00:00 GMT

Sharon Shoham, Yakir Vizel
ISBN: 9783031131844
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 08-Aug-2021
Hind: 39,43 �

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 710, 2022, Proceedings, Part II 1st ed. 2022

Fri, 06 Aug 2021 00:00:00 GMT

Sharon Shoham, Yakir Vizel
ISBN: 9783031131875
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 06-Aug-2021
Hind: 39,43 �

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 2223, 2021, Revised Selected Papers 1st ed. 2022

Fri, 19 Mar 2021 00:00:00 GMT

Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
ISBN: 9783030988494
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 19-Mar-2021
Hind: 53,33 �

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 1819, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1819, 2021, Revised Selected Papers 1st ed. 2022

Mon, 22 Feb 2021 00:00:00 GMT

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
ISBN: 9783030955601
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 22-Feb-2021
Hind: 53,33 �

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 1729, 2021, Proceedings 1st ed. 2021

Mon, 12 Oct 2020 00:00:00 GMT

Tiziana Margaria, Bernhard Steffen
ISBN: 9783030891589
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 12-Oct-2020
Hind: 67,23 �

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 1114, 2021, Proceedings 1st ed. 2021

Tue, 06 Oct 2020 00:00:00 GMT

Lu Feng, Dana Fisman
ISBN: 9783030884932
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 06-Oct-2020
Hind: 71,86 �

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 2426, 2021, Proceedings 1st ed. 2021

Mon, 10 Aug 2020 00:00:00 GMT

Alberto Lluch Lafuente, Anastasia Mavridou
ISBN: 9783030852474
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 10-Aug-2020
Hind: 48,70 �