Kaisa Sere – författare
Visar alla böcker från författaren Kaisa Sere. Handla med fri frakt och snabb leverans.
7 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 Elena Troubitsyna, Kaisa Sere m. fl.
E-bok, 2011
2217 kr
Lägg i varukorg
Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems is expressed by the notion of dependability. The complexity of modern software-intensive systems poses …
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Av Luigia Petre, Kaisa Sere m. fl.
Inbunden, 2011
2615 kr
Lägg i varukorg
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Av Elena Troubitsyna, Kaisa Sere m. fl.
E-bok, 2011
2233 kr
Lägg i varukorg
Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems is expressed by the notion of dependability. The complexity of modern software-intensive systems poses …
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski m. fl.
Häftad, 1998
2221 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
561 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 …
