|
|

avaa valikko

Martin Leucker | Akateeminen Kirjakauppa

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



Leucker, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Runtime Verification - 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Leucker, Martin; Morgan, Charles Carroll
Springer
2009
Pehmeäkantinen kirja
Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Leucker, Martin; Rueda, Camilo; Valencia, Frank D.
Springer
2015
Pehmeäkantinen kirja
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Model-Based Testing of Reactive Systems - Advanced Lectures
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Brim, Lubos; Haverkort, Boudewijn; Leucker, Martin; Pol, Jaco van de
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Formal Methods: Applications and Technology - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMI
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Colombo, Christian; Leucker, Martin
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Springer
2021
Pehmeäkantinen kirja
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,10 €
Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin
Springer
2023
Pehmeäkantinen kirja
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €