On Concurrent Programming

Main
Computers - Networking
On Concurrent Programming

On Concurrent Programming

Name: On Concurrent Programming
ISBN: 9781461273035

Gries, David, Schneider, Fred B

5.0 / 5.0

2 comments

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

GRADUATE TEXTS IN COMPUTER SCIENCE; ON CONCURRENT PROGRAMMING; Copyright; Preface; Contents; List of Figures; Chapter 1 Introduction; Chapter 2 Formal Logic; Chapter 3 Temporal Logic; Chapter 4 Notation and Logic for Sequential Programming; Chapter 5 Concurrency and Interference; Chapter 6 Safety Properties: Invariance; Chapter 7 Safety Properties with Past Terms; Chapter 8 Verifying Arbitrary Temporal Logic Properties; Chapter 9 Programming with Fine-Grained Atomic Actions; Chapter 10 Semaphores, Locks, and Conditional Critical Regions; Chapter 11 Message Passing and Distributed Programming.

Kategorie:

Computers - Networking

Rok:

1997

Wydanie:

Wydawnictwo:

Springer New York

Język:

english

Strony:

481

ISBN 10: