Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation( )
Editor: De Queiroz, R. J.
Series title:Trends in Logic Ser.
ISBN:978-94-017-4000-5
Publication Date:Oct 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $189.00
Book Description:

This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.

Book Details
Pages:285
Detailed Subjects: Mathematics / Logic
Computers / Programming / Parallel
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.254 Inches
Book Weight:1.043 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Absolutely on Music
Murakami, Haruki
Hardback: $27.95
Stalking Jack the Ripper
Maniscalco, Kerri
Hardback: $18.99
Swing Time
Smith, Zadie
Hardback: $27.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.