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 > Parallel processing

Buy Now

Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998 ed.) Loot Price: R3,344

Discovery Miles 33 440

Repayment Terms: R313 pm x 12*

Add to cart

Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12,...

Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998 ed.)

Willem-Paul De Roever, Hans Langmaack, Amir Pnueli

Series: Lecture Notes in Computer Science, 1536

(sign in to rate)

Loot Price R3,344 Discovery Miles 33 440 | Repayment Terms: R313 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1536
Release date:	2001
First published:	1998
Editors:	Willem-Paul De Roever • Hans Langmaack • Amir Pnueli
Dimensions:	235 x 155 x 33mm (L x W x T)
Format:	Paperback
Pages:	647
Edition:	1998 ed.
ISBN-13:	978-3-540-65493-3
Categories:	Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing Promotions
LSN:	3-540-65493-3
Barcode:	9783540654933