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

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

49,60 €

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2009 - 6TH INTERNATIONAL COLLOQUIUM, KUALA LUMPUR, MALAYSIA, AUGUST 16-20, 2009, PROCEE

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

49,60 €

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015 - 12TH INTERNATIONAL COLLOQUIUM, CALI, COLOMBIA, OCTOBER 29-31, 2015, PROCEEDINGS

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

49,60 €

MODEL-BASED TESTING OF REACTIVE SYSTEMS - ADVANCED LECTURES

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

49,60 €

FORMAL METHODS: APPLICATIONS AND TECHNOLOGY - 11TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FM

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

49,60 €

RUNTIME VERIFICATION - 18TH INTERNATIONAL CONFERENCE, RV 2018, LIMASSOL, CYPRUS, NOVEMBER 10–13, 2018, PROCEEDINGS

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

73,70 €

FORMAL METHODS IN OUTER SPACE - ESSAYS DEDICATED TO KLAUS HAVELUND ON THE OCCASION OF HIS 65TH BIRTHDAY

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

54,40 €

FORMAL METHODS : 25TH INTERNATIONAL SYMPOSIUM, FM 2023, LÜBECK, GERMANY, MARCH 6–10, 2023, PROCEEDINGS

Marsha Chechik (ed.); Joost-Pieter Katoen (ed.); Martin Leucker (ed.)
Springer (2023)
Pehmeäkantinen kirja

97,90 €

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

Martin Leucker

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 189 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 23.10.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus