Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

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.) Loot Price: R3,219
Discovery Miles 32 190
Repayment Terms: R302 pm x 12*
Add to cart
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

Series: Lecture Notes in Computer Science, 354

 (sign in to rate)
Loot Price R3,219 Discovery Miles 32 190 | Repayment Terms: R302 pm x 12*

Bookmark and Share

Expected to ship within 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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 354
Release date: March 1989
First published: 1989
Editors: Jacobus W. De Bakker • Willem-Paul De Roever • Grzegorz Rozenberg
Dimensions: 235 x 155 x 36mm (L x W x T)
Format: Paperback
Pages: 718
Edition: 1989 ed.
ISBN-13: 978-3-540-51080-2
Categories: Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Internet > Network computers
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General
Promotions
LSN: 3-540-51080-X
Barcode: 9783540510802

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

The System Designer's Guide to VHDL-AMS, Volume TBD - Analog, Mixed-Signal, and Mixed-Technology Modeling (Paperback):...
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,421 Discovery Miles 24 210
Quantum Computing, Second Edition - A pathway to quantum logic design (Hardcover, 2nd edition): Hafiz Md. Hasan Babu
Quantum Computing, Second Edition - A…
Hafiz Md. Hasan Babu Hardcover R3,474 Discovery Miles 34 740
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,115 R950 Discovery Miles 9 500
Kreislauf des Lebens (Hardcover): Jacob Moleschott
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,281 Discovery Miles 12 810
CSS For Beginners - The Best CSS Guide For Beginners To Learn Learn CSS in One Day and Developing a Strong Coding Foundation...
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R971 R833 Discovery Miles 8 330
Advances in Delay-Tolerant Networks (DTNs) - Architecture and Enhanced Performance (Paperback, 2nd edition): Joel J. P. C....
Advances in Delay-Tolerant Networks…
Joel J. P. C. Rodrigues Paperback R4,962 Discovery Miles 49 620
Grammatical and Syntactical Approaches in Architecture - Emerging Research and Opportunities (Hardcover): Juhyun Lee, Michael...
Grammatical and Syntactical Approaches…
Juhyun Lee, Michael J. Ostwald Hardcover R5,763 Discovery Miles 57 630
Constraint Decision-Making Systems in Engineering (Hardcover): Santosh Kumar Das, Nilanjan Dey
Constraint Decision-Making Systems in…
Santosh Kumar Das, Nilanjan Dey Hardcover R7,253 Discovery Miles 72 530
Advances in Intelligent Systems - Reviews, Vol. 2 (Hardcover): Sergey Yurish
Advances in Intelligent Systems…
Sergey Yurish Hardcover R2,605 Discovery Miles 26 050
Applying Integration Techniques and Methods in Distributed Systems (Hardcover): Gabor Kecskemeti
Applying Integration Techniques and…
Gabor Kecskemeti Hardcover R6,562 Discovery Miles 65 620
Advancements in Instrumentation and Control in Applied System Applications (Hardcover): Srijan Bhattacharya
Advancements in Instrumentation and…
Srijan Bhattacharya Hardcover R6,657 Discovery Miles 66 570
Creativity in Load-Balance Schemes for Multi/Many-Core Heterogeneous Graph Computing - Emerging Research and Opportunities...
Creativity in Load-Balance Schemes for…
Alberto Garcia-Robledo, Arturo Diaz Perez, … Hardcover R4,229 Discovery Miles 42 290

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners