Martin Leucker | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

Runtime Verification - 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Leucker, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing - ICTAC 2009 - 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Procee

Leucker, Martin; Morgan, Charles Carroll
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Leucker, Martin; Rueda, Camilo; Valencia, Frank D.
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Model-Based Testing of Reactive Systems - Advanced Lectures

Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,10 €

Formal Methods: Applications and Technology - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMI

Brim, Lubos; Haverkort, Boudewijn; Leucker, Martin; Pol, Jaco van de
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Colombo, Christian; Leucker, Martin
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

76,00 €

Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

56,10 €

Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin
Springer International Publishing AG
2023
Pehmeäkantinen kirja

100,90 €