Jaunas gr�matas

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 13-Oct-2023
Cena: 46,91 �

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 1820, 2023, Proceedings 1st ed. 2023

Mon, 19 Sep 2022 00:00:00 GMT

Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
ISBN: 9783031432392
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 19-Sep-2022
Cena: 64,76 �

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 1819, 2023, Proceedings 1st ed. 2023

Wed, 20 Jul 2022 00:00:00 GMT

Virgile Prevosto, Cristina Seceleanu
ISBN: 9783031388279
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 20-Jul-2022
Cena: 46,91 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 02-May-2022
Cena: 51,37 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 23-Aug-2021
Cena: 91,53 �

Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings 1st ed. 2022

Tue, 22 Jun 2021 00:00:00 GMT

Laura Kov�cs, Karl Meinke
ISBN: 9783031098260
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 22-Jun-2021
Cena: 46,91 �

Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 1012, 2021, Proceedings 1st ed. 2022

Mon, 10 May 2021 00:00:00 GMT

David Clark, Hector Menendez, Ana Rosa Cavalli
ISBN: 9783031046728
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 10-May-2021
Cena: 82,61 �

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
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 06-Oct-2020
Cena: 69,22 �

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings 1st ed. 2021

Mon, 03 Aug 2020 00:00:00 GMT

Alfons Laarman, Ana Sokolova
ISBN: 9783030846282
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 03-Aug-2020
Cena: 46,91 �

Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 2122, 2021, Proceedings 1st ed. 2021

Thu, 18 Jun 2020 00:00:00 GMT

Fr�d�ric Loulergue, Franz Wotawa
ISBN: 9783030793784
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 18-Jun-2020
Cena: 46,91 �

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 911, 2020, Proceedings 1st ed. 2020

Wed, 27 Nov 2019 00:00:00 GMT

Valentina Casola, Alessandra De Benedictis, Massimiliano Rak
ISBN: 9783030648800
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 27-Nov-2019
Cena: 46,91 �

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 69, 2020, Proceedings 1st ed. 2020

Tue, 08 Oct 2019 00:00:00 GMT

Jyotirmoy Deshmukh, Dejan Nikovi
ISBN: 9783030605070
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 08-Oct-2019
Cena: 46,91 �

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 2223, 2020, Proceedings 2020 ed.

Thu, 20 Jun 2019 00:00:00 GMT

Wolfgang Ahrendt, Heike Wehrheim
ISBN: 9783030509941
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 20-Jun-2019
Cena: 46,91 �

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 811, 2019, Proceedings 2019 ed.

Thu, 04 Oct 2018 00:00:00 GMT

Bernd Finkbeiner, Leonardo Mariani
ISBN: 9783030320782
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 04-Oct-2018
Cena: 60,29 �

Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 1517, 2019, Proceedings 2019 ed.

Tue, 18 Sep 2018 00:00:00 GMT

Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
ISBN: 9783030312794
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 18-Sep-2018
Cena: 46,91 �