Viimati ilmunud raamatud

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 �

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 �

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 �

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 1st ed. 2016

Mon, 14 Sep 2015 00:00:00 GMT

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
ISBN: 9783319459424
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 14-Sep-2015
Hind: 48,70 �

Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings 1st ed. 2015

Wed, 26 Nov 2014 00:00:00 GMT

Floor Koornneef, Coen van Gulijk
ISBN: 9783319242545
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 26-Nov-2014
Hind: 48,70 �

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings 1st ed. 2015

Fri, 12 Sep 2014 00:00:00 GMT

Floor Koornneef, Coen van Gulijk
ISBN: 9783319242484
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 12-Sep-2014
Hind: 48,70 �

Reliability and Robustness of Engineering Software: Conference Proceedings, 1st

Wed, 30 Sep 1987 00:00:00 GMT

C. A. Brebbia, G. A. Keramidas
ISBN: 9780444989482
Kirjastus: Elsevier Science Ltd
Formaat: K�va k�ide, Ilmumisaeg: 30-Sep-1987
Hind: 221,57 �