Olaf Owe – författare
Visar alla böcker från författaren Olaf Owe. Handla med fri frakt och snabb leverans.
6 produkter
ANNA A Language for Annotating Ada Programs
Reference Manual
Av David C. Luckham, Friedrich W. von Henke m. fl.
Häftad, 1987
568 kr
Lägg i varukorg
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable …
From Object-Orientation to Formal Methods
Essays in Memory of Ole-Johan Dahl
Av Olaf Owe, Stein Krogdahl m. fl.
Häftad, 2004
568 kr
Lägg i varukorg
After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, …
From Object-Orientation to Formal Methods
Essays in Memory of Ole-Johan Dahl
Av Tom Lyche, Stein Krogdahl m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, …
Recent Trends in Data Type Specification
11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers
Av Magne Haveraaen, Olaf Owe m. fl.
Häftad, 1996
568 kr
Lägg i varukorg
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.The 25 research papers included were chosen from 57 …
Fundamentals of Computation Theory
18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Av Olaf Owe, Martin Steffen m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011.The 28 revised full papers presented were carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal …
Fundamentals of Computation Theory
18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Av Jan Arne Telle, Martin Steffen m. fl.
E-bok, 2011
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011.The 28 revised full papers presented were carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal …
