Kaisa Sere - Böcker

Visar alla böcker från författaren Kaisa Sere.

3 produkter

Kategorier

3 produkter

Dependability and Computer Engineering

Concepts for Software-Intensive Systems

Av Luigia Petre, Kaisa Sere m. fl

Inbunden, Engelska, 2011

3 209 kr

Skickas inom 5-8 vardagar

Program Development by Refinement

Case Studies Using the B Method

Av Kaisa Sere, Emil Sekerinski m. fl

Häftad, Engelska, 1998

2 799 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Av Michael Butler, Luigia Petre m. fl

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar