0
Your cart

Your cart is empty

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

Showing 1 - 4 of 4 matches in All Departments

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop, Noordwijkerhout, The... Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Paperback, 1989 ed.)
Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
R3,219 Discovery Miles 32 190 Ships in 10 - 15 working days

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.

PARLE Parallel Architectures and Languages Europe - Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987;... PARLE Parallel Architectures and Languages Europe - Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Paperback, 1987 ed.)
Jacobus W. De Bakker, A.J. Nijman, Philip C. Treleaven
R2,094 Discovery Miles 20 940 Ships in 10 - 15 working days
PARLE Parallel Architectures and Languages Europe - Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19,... PARLE Parallel Architectures and Languages Europe - Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Paperback, 1987 ed.)
Jacobus W. De Bakker, A.J. Nijman, Philip C. Treleaven
R2,102 Discovery Miles 21 020 Ships in 10 - 15 working days
Current Trends in Concurrency - Overviews and Tutorials (Paperback, 1986 ed.): Jacobus W. De Bakker, Willem-Paul De Roever,... Current Trends in Concurrency - Overviews and Tutorials (Paperback, 1986 ed.)
Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
R3,223 Discovery Miles 32 230 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Blockchain and Public Law - Global…
Oreste Pollicino, Giovanni De Gregorio Hardcover R3,190 Discovery Miles 31 900
Marx's Capital after 150 Years…
Marcello Musto Paperback R1,435 Discovery Miles 14 350
Ending Childhood Obesity - A Challenge…
Amandine Garde, Joshua Curtis, … Hardcover R4,190 Discovery Miles 41 900
The True Intellectual System of the…
Ralph Cudworth Paperback R865 Discovery Miles 8 650
The Passenger
Cormac McCarthy Paperback R91 Discovery Miles 910
The Advantage and Necessity of the…
John Leland Paperback R677 Discovery Miles 6 770
Women and Democracy in Cold War Japan
Jan Bardsley Hardcover R4,583 Discovery Miles 45 830
John Buridan
Gyula Klima Hardcover R1,682 Discovery Miles 16 820
Shine A Light - In Conversation With…
Corrine Wilson Paperback R369 Discovery Miles 3 690
British Playwrights, 1880-1956 - A…
William W. Demastes, Katherine Kelly Hardcover R2,511 Discovery Miles 25 110

 

Partners