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

Checkout
- Your Cart Price

Your cart

Your cart is empty

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

Buy Now

Logic for Concurrency and Synchronisation (Hardcover, 2003 ed.) Loot Price: R2,906

Discovery Miles 29 060

Repayment Terms: R272 pm x 12*

Add to cart

Logic for Concurrency and Synchronisation (Hardcover, 2003 ed.): R.J. De Queiroz

Logic for Concurrency and Synchronisation (Hardcover, 2003 ed.)

R.J. De Queiroz

Series: Trends in Logic, 18

(sign in to rate)

Loot Price R2,906 Discovery Miles 29 060 | Repayment Terms: R272 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Trends in Logic, 18
Release date:	May 2003
First published:	2003
Editors:	R.J. De Queiroz
Dimensions:	240 x 160 x 19mm (L x W x T)
Format:	Hardcover
Pages:	285
Edition:	2003 ed.
ISBN-13:	978-1-4020-1270-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Promotions
LSN:	1-4020-1270-5
Barcode:	9781402012709