Von dem Buch Models for Concurrency (Algebra, Logic and Applications, Vol 11) haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Abraham, Uri Abraham, Abraham: Models for Concurrency (Algebra, Logic and Applications, Vol 11) (ISBN: 9789056991999) 1999, Crc Pr Inc, in Englisch, Broschiert.Nur diese Ausgabe anzeigen…
100%: Abraham, Uri: Models for Concurrency (eBook, PDF) (ISBN: 9781000124743) in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
50%: Abraham, Uri: Models for Concurrency (eBook, ePUB) (ISBN: 9781000159561) in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Models for Concurrency (Algebra, Logic and Applications, Vol 11)
11 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 60,04 | € 35,39 | € 61,00 | € 74,80 |
| Nachfrage |
1
Symbolbild
Models for Concurrency
~EN NW EB DLISBN: 9781000124743 bzw. 1000124746, vermutlich in Englisch, CRC Press, neu, E-Book, elektronischer Download.
Models for Concurrency: Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Englisch, Ebook.
2
Symbolbild
Models for Concurrency
~EN NW EB DLISBN: 9781000159561 bzw. 1000159566, vermutlich in Englisch, CRC Press, neu, E-Book, elektronischer Download.
Models for Concurrency: Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Englisch, Ebook.
3
Models for Concurrency (Algebra, Logic and Applications, Vol 11) (1999)
EN HC USISBN: 9789056991999 bzw. 905699199X, in Englisch, 250 Seiten, CRC Press, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Phatpocket Bookstore.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Hardcover, Label: CRC Press, CRC Press, Produktgruppe: Book, Publiziert: 1999-05-24, Studio: CRC Press, Verkaufsrang: 8114053.
Von Händler/Antiquariat, Phatpocket Bookstore.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Hardcover, Label: CRC Press, CRC Press, Produktgruppe: Book, Publiziert: 1999-05-24, Studio: CRC Press, Verkaufsrang: 8114053.
4
Models for Concurrency (Algebra, Logic and Applications, Vol 11) (1999)
EN HC NWISBN: 9789056991999 bzw. 905699199X, in Englisch, 250 Seiten, CRC Press, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, suttonbooks.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Hardcover, Label: CRC Press, CRC Press, Produktgruppe: Book, Publiziert: 1999-05-24, Studio: CRC Press, Verkaufsrang: 9957186.
Von Händler/Antiquariat, suttonbooks.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Hardcover, Label: CRC Press, CRC Press, Produktgruppe: Book, Publiziert: 1999-05-24, Studio: CRC Press, Verkaufsrang: 9957186.
5
Models for Concurrency (Algebra, Logic and Applications, Vol 11) (1999)
EN HC USISBN: 9789056991999 bzw. 905699199X, in Englisch, 250 Seiten, CRC Press, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Phatpocket Bookstore.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Hardcover, Label: CRC Press, CRC Press, Produktgruppe: Book, Publiziert: 1999-05-24, Studio: CRC Press, Verkaufsrang: 9957186.
Von Händler/Antiquariat, Phatpocket Bookstore.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory. Hardcover, Label: CRC Press, CRC Press, Produktgruppe: Book, Publiziert: 1999-05-24, Studio: CRC Press, Verkaufsrang: 9957186.
6
Models for Concurrency (eBook, ePUB)
~EN NWISBN: 9781000159561 bzw. 1000159566, vermutlich in Englisch, Taylor & Francis Ltd. neu.
Lieferung aus: Österreich, plus shipping.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.
7
Models for Concurrency (eBook, PDF)
~EN NWISBN: 9781000124743 bzw. 1000124746, vermutlich in Englisch, Taylor & Francis Ltd. neu.
Lieferung aus: Österreich, plus shipping.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.
8
Models for Concurrency Uri Abraham Author
~EN NW EB DLISBN: 9781000159561 bzw. 1000159566, vermutlich in Englisch, CRC Press, neu, E-Book, elektronischer Download.
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.
9
Models for Concurrency (Algebra, Logic & Applications) (1999)
EN NWISBN: 9789056991999 bzw. 905699199X, in Englisch, 250 Seiten, Crc Pr Inc, neu.
Lieferung aus: Spanien, Normalmente se envía en el plazo de 1-2 días laborable.
Von Händler/Antiquariat, EliteDigital ES.
Tapa dura, Label: Crc Pr Inc, Crc Pr Inc, Produktgruppe: Libro, Publiziert: 1999-05, Studio: Crc Pr Inc.
Von Händler/Antiquariat, EliteDigital ES.
Tapa dura, Label: Crc Pr Inc, Crc Pr Inc, Produktgruppe: Libro, Publiziert: 1999-05, Studio: Crc Pr Inc.
10
Models for Concurrency (Algebra, Logic & Applications) (1999)
EN USISBN: 9789056991999 bzw. 905699199X, in Englisch, 250 Seiten, Crc Pr Inc, gebraucht.
Lieferung aus: Spanien, Normalmente se envía en el plazo de 1-2 días laborable.
Von Händler/Antiquariat, Zubal Books.
Tapa dura, Label: Crc Pr Inc, Crc Pr Inc, Produktgruppe: Libro, Publiziert: 1999-05, Studio: Crc Pr Inc.
Von Händler/Antiquariat, Zubal Books.
Tapa dura, Label: Crc Pr Inc, Crc Pr Inc, Produktgruppe: Libro, Publiziert: 1999-05, Studio: Crc Pr Inc.
Lade…