Viimati ilmunud raamatud

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 1617, 2023, Proceedings 1st ed. 2023

Mon, 17 Jan 2022 00:00:00 GMT

Cezara Dragoi, Michael Emmi, Jingbo Wang
ISBN: 9783031249495
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 17-Jan-2022
Hind: 71,86 �

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 1618, 2022, Proceedings 1st ed. 2022

Thu, 14 Jan 2021 00:00:00 GMT

Bernd Finkbeiner, Thomas Wies
ISBN: 9783030945824
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 14-Jan-2021
Hind: 85,76 �

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 �

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 2021, 2020, Revised Selected Papers 1st ed. 2020

Fri, 06 Dec 2019 00:00:00 GMT

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
ISBN: 9783030636173
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 06-Dec-2019
Hind: 48,70 �

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 23, 2020, Proceedings 1st ed. 2020

Thu, 29 Aug 2019 00:00:00 GMT

Maurice H. ter Beek, Dejan Nikovi
ISBN: 9783030582975
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 29-Aug-2019
Hind: 48,70 �

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part II 1st ed. 2020

Tue, 16 Jul 2019 00:00:00 GMT

Shuvendu K. Lahiri, Chao Wang
ISBN: 9783030532901
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 16-Jul-2019
Hind: 39,43 �

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part I 1st ed. 2020

Tue, 16 Jul 2019 00:00:00 GMT

Shuvendu K. Lahiri, Chao Wang
ISBN: 9783030532871
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 16-Jul-2019
Hind: 39,43 �

Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers 2020 ed.

Mon, 18 Feb 2019 00:00:00 GMT

Roger Chamberlain, Martin Edin Grimheden, Walid Taha
ISBN: 9783030411305
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 18-Feb-2019
Hind: 48,70 �

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 1621, 2020, Proceedings 2020 ed.

Thu, 07 Feb 2019 00:00:00 GMT

Dirk Beyer, Damien Zufferey
ISBN: 9783030393212
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 07-Feb-2019
Hind: 76,49 �

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 1314, 2019, Proceedings 2019 ed.

Fri, 03 Aug 2018 00:00:00 GMT

Majid Zamani, Damien Zufferey
ISBN: 9783030284220
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 03-Aug-2018
Hind: 48,70 �

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II 2019 ed.

Fri, 13 Jul 2018 00:00:00 GMT

Isil Dillig, Serdar Tasiran
ISBN: 9783030255428
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Jul-2018
Hind: 48,70 �

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I 2019 ed.

Fri, 13 Jul 2018 00:00:00 GMT

Isil Dillig, Serdar Tasiran
ISBN: 9783030255398
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Jul-2018
Hind: 48,70 �

Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 45, 2018, Revised Selected Papers 2019 ed.

Mon, 02 Jul 2018 00:00:00 GMT

Roger Chamberlain, Walid Taha, Martin T�rngren
ISBN: 9783030237028
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-Jul-2018
Hind: 48,70 �

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings 2018 ed.

Wed, 30 Aug 2017 00:00:00 GMT

Falk Howar, Ji� Barnat
ISBN: 9783030002435
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 30-Aug-2017
Hind: 48,70 �

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings 1st ed. 2018

Tue, 10 Jan 2017 00:00:00 GMT

Isil Dillig, Jens Palsberg
ISBN: 9783319737201
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 10-Jan-2017
Hind: 48,70 �