English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
FILTER
- 0 Results
Lowest price: 46.62 €, highest price: 62.52 €, average price: 54.65 €
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
book is out-of-stock
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - used book

ISBN: 0521018455

ID: 6352822

The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets. computers and technology,education and reference,languages and tools,networking,networks protocols and apis,parallel processing computers,programming,software design testing and engineering,software development Computers & Technology, Cambridge University Press

Used or antiquarian book Thriftbooks.com
used Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - Olderog, E R, and Van Rijsbergen, C J (Editor), and Abramsky, Samson (Editor)
book is out-of-stock
(*)
Olderog, E R, and Van Rijsbergen, C J (Editor), and Abramsky, Samson (Editor):
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - Paperback

2005, ISBN: 9780521018456

ID: 11298824308

Trade paperback, New., Trade paperback (US). Glued binding. 280 p. Contains: Illustrations, black & white. Cambridge Tracts in Theoretical Computer Science (Paperback), 23., Cambridge, [PU: Cambridge University Press]

New book Alibris.com
Alibris
Shipping costs:plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
book is out-of-stock
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Paperback

2005, ISBN: 9780521018456

ID: 496422612

Cambridge University Press, 2005-08-22. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., Cambridge University Press, 2005-08-22

Used or antiquarian book Biblio.com
Ergodebooks
Shipping costs: EUR 14.17
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
book is out-of-stock
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Paperback

2005, ISBN: 9780521018456

ID: 496422612

Cambridge University Press, 2005-08-22. Paperback. Good., Cambridge University Press, 2005-08-22

Used or antiquarian book Biblio.com
Ergodebooks
Shipping costs: EUR 12.74
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
book is out-of-stock
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Paperback

ISBN: 9780521018456

ID: 972652576

Cambridge University Press. Paperback. New. NEW BOOK, Cambridge University Press

Used or antiquarian book Biblio.com
Bookshopee
Shipping costs: EUR 17.83
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.

Details of the book - Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship


EAN (ISBN-13): 9780521018456
ISBN (ISBN-10): 0521018455
Paperback
Publishing year: 2005
Publisher: CAMBRIDGE UNIV PR
280 Pages
Weight: 0,449 kg
Language: eng/Englisch

Book in our database since 20.12.2007 20:20:41
Book found last time on 18.10.2017 14:03:19
ISBN/EAN: 9780521018456

ISBN - alternate spelling:
0-521-01845-5, 978-0-521-01845-6


< to archive...
Related books