Luigia Petre – författare
Visar alla böcker från författaren Luigia Petre.
6 produkter
6 produkter
889 kr
Skickas inom 10-15 vardagar
3 189 kr
Skickas inom 5-8 vardagar
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Inbunden, Engelska, 2011
3 239 kr
Skickas inom 5-8 vardagar
Del 11758 - Lecture Notes in Computer Science
Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Häftad, Engelska, 2019
719 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar