| |

avaa valikko

Kaisa Sere | Akateeminen Kirjakauppa

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

Program Development by Refinement - Case Studies Using the B Method

Sekerinski, Emil; Sere, Kaisa
Springer London Ltd
1998
Pehmeäkantinen kirja

Program Development by Refinement - Case Studies Using the B Method

182,70 €

Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Butler, Michael; Petre, Luigia; Sere, Kaisa
Springer
2002
Pehmeäkantinen kirja

Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

51,10 €

Dependability and Computer Engineering - Concepts for Software-Intensive Systems

Petre, Luigia; Sere, Kaisa; Troubitsyna, Elena
IGI Global
2011
Kovakantinen kirja

Dependability and Computer Engineering - Concepts for Software-Intensive Systems

221,40 €