0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (3)
  • -
Status
Brand

Showing 1 - 4 of 4 matches in All Departments

A Decade of Concurrency: Reflections and Perspectives - Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The... A Decade of Concurrency: Reflections and Perspectives - Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (Paperback, 1994 ed.)
J.W. de Bakker, W-.P.De Roever, G. Rozenberg
R3,118 Discovery Miles 31 180 Ships in 10 - 15 working days

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 to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.
In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.

Semantics: Foundations and Applications - REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Paperback,... Semantics: Foundations and Applications - REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Paperback, 1993 ed.)
J.W. de Bakker, W-.P.De Roever, G. Rozenberg
R3,106 Discovery Miles 31 060 Ships in 10 - 15 working days

Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement, weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.

Real-Time: Theory in Practice - REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings (Paperback, 1992 ed.): J.W. de... Real-Time: Theory in Practice - REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings (Paperback, 1992 ed.)
J.W. de Bakker, C. Huizing, W-.P.De Roever, G. Rozenberg
R3,142 Discovery Miles 31 420 Ships in 10 - 15 working days

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon." Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Foundations of Object-Oriented Languages - REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990... Foundations of Object-Oriented Languages - REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 (Paperback, 1991 ed.)
J.W. de Bakker, W-.P.De Roever, G. Rozenberg
R1,655 Discovery Miles 16 550 Ships in 10 - 15 working days

Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Coty Vanilla Musk Cologne Spray (50ml…
R790 R471 Discovery Miles 4 710
Microsoft Xbox Series X Console (1TB…
R14,999 Discovery Miles 149 990
Sudocrem Skin & Baby Care Barrier Cream…
R210 Discovery Miles 2 100
Hask Keratin Protein Smoothing Shine Oil…
R90 Discovery Miles 900
Vital BabyŽ NURTURE™ Breast-Like Feeding…
R259 Discovery Miles 2 590
So Close - Blacklist: Book 1
Sylvia Day Paperback R380 R149 Discovery Miles 1 490
John C. Maxwell Undated Planner
Paperback R469 R325 Discovery Miles 3 250
Home Classix Placemats - The Tropics…
R59 R51 Discovery Miles 510
Comedy 4-Film Collection - Knocked Up…
Seth Rogen, Katherine Heigl, … DVD R66 Discovery Miles 660
Tower Vinyl Sticker - Tiny Human on…
R62 R47 Discovery Miles 470

 

Partners