Kaisa Sere – författare
Visar alla böcker från författaren Kaisa Sere. Handla med fri frakt och snabb leverans.
5 produkter
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski
E-bok, 2012
3013 kr
Lägg i varukorg
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for …
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Av Luigia Petre, Kaisa Sere m. fl.
Inbunden, 2011
1797 kr
Lägg i varukorg
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski m. fl.
Häftad, 1998
2250 kr
Lägg i varukorg
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for …
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Av Michael Butler, Luigia Petre m. fl.
Häftad, 2002
568 kr
Lägg i varukorg
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and …
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Av Kaisa Sere, Luigia Petre m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and …
