Jaunas gr�matas

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 1516, 2019, Proceedings 2019 ed.

Fri, 14 Sep 2018 00:00:00 GMT

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
ISBN: 9783030309220
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 14-Sep-2018
Cena: 46,91 �

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 1st ed. 2017

Tue, 25 Jul 2017 00:00:00 GMT

Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ing�lfsd�ttir, Axel Legay, Radu Mardare
ISBN: 9783319631202
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 25-Jul-2017
Cena: 46,91 �

Risks and Security of Internet and Systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers 2018 ed.

Fri, 24 Feb 2017 00:00:00 GMT

Nora Cuppens, Fr�d�ric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro
ISBN: 9783319766867
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 24-Feb-2017
Cena: 46,91 �

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I 1st ed. 2017

Thu, 31 Mar 2016 00:00:00 GMT

Axel Legay, Tiziana Margaria
ISBN: 9783662545768
Izdevniec�ba: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Form�ts: M�kstie v�ki, Izdo�anas datums: 31-Mar-2016
Cena: 46,91 �

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II 1st ed. 2017

Thu, 31 Mar 2016 00:00:00 GMT

Axel Legay, Tiziana Margaria
ISBN: 9783662545799
Izdevniec�ba: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Form�ts: M�kstie v�ki, Izdo�anas datums: 31-Mar-2016
Cena: 46,91 �

Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers 1st ed. 2017

Wed, 02 Mar 2016 00:00:00 GMT

Fr�d�ric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay
ISBN: 9783319548753
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 02-Mar-2016
Cena: 46,91 �

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings 1st ed. 2016

Tue, 22 Sep 2015 00:00:00 GMT

Cyrille Artho, Axel Legay, Doron Peled
ISBN: 9783319465197
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 22-Sep-2015
Cena: 46,91 �

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings 2014 ed.

Mon, 19 Aug 2013 00:00:00 GMT

Axel Legay, Marius Bozga
ISBN: 9783319105116
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 19-Aug-2013
Cena: 45,13 �

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings 2014 ed.

Mon, 11 Mar 2013 00:00:00 GMT

Saddek Bensalem, Yassine Lakhnech, Axel Legay
ISBN: 9783642548475
Izdevniec�ba: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Form�ts: M�kstie v�ki, Izdo�anas datums: 11-Mar-2013
Cena: 45,13 �

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings 2013 ed.

Wed, 31 Oct 2012 00:00:00 GMT

Valeria Bertacco, Axel Legay
ISBN: 9783319030760
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 31-Oct-2012
Cena: 46,91 �

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings 2013 ed.

Sun, 19 Aug 2012 00:00:00 GMT

Axel Legay, Saddek Bensalem
ISBN: 9783642407864
Izdevniec�ba: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Form�ts: M�kstie v�ki, Izdo�anas datums: 19-Aug-2012
Cena: 46,91 �