J.W.de Bakker – författare
Visar alla böcker från författaren J.W.de Bakker. Handla med fri frakt och snabb leverans.
3 produkter
Real-Time: Theory in Practice
REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Av J.W.de Bakker, C. Huizing m. fl.
Häftad, 1992
1126 kr
Lägg i varukorg
In the past decade, the formal theory of specification,verfication and development of real-time programs has grownfrom work of a few specialized groups to a real "bandwagon".Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is …
Semantics: Foundations and Applications
REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
Av J.W.de Bakker, W.-P.de Roever m. fl.
Häftad, 1993
1126 kr
Lägg i varukorg
Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meeting and contains materialprepared by the lecturers after the meeting took place. Thevolume includes …
Decade of Concurrency: Reflections and Perspectives
Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
Av J.W.de Bakker, W.-P.de Roever m. fl.
Häftad, 1994
1126 kr
Lägg i varukorg
The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute …
