Coverart for item
The Resource On Concurrent Programming, by Fred B. Schneider

On Concurrent Programming, by Fred B. Schneider

Label
On Concurrent Programming
Title
On Concurrent Programming
Statement of responsibility
by Fred B. Schneider
Creator
Subject
Language
eng
Summary
Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As a result, all those interested in studying concurrent computing will find this to be an invaluable approach to the subject
Member of
http://library.link/vocab/creatorName
Schneider, Fred B
Dewey number
004.6
Index
no index present
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Graduate Texts in Computer Science,
http://library.link/vocab/subjectName
  • Computer science
  • Computer network architectures
Label
On Concurrent Programming, by Fred B. Schneider
Instantiates
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
Introduction -- Formal Logic -- Temporal Logic -- Notation and Logic for Sequential Programming -- Concurrency and Inteference -- Saftey Properties: Invariance -- Safety Properties involving Past terms -- Verifying arbitrary temporal logic properties -- Programming with fine-grained atomic actions -- Semaphores, locks, and conditional critical regions -- Message passing and distributed programming -- Putting it together
Control code
ocn853267750
Dimensions
unknown
Extent
1 online resource (xix, 473 pages)
File format
unknown
Form of item
online
Isbn
9781461218302
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)853267750
Label
On Concurrent Programming, by Fred B. Schneider
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
Introduction -- Formal Logic -- Temporal Logic -- Notation and Logic for Sequential Programming -- Concurrency and Inteference -- Saftey Properties: Invariance -- Safety Properties involving Past terms -- Verifying arbitrary temporal logic properties -- Programming with fine-grained atomic actions -- Semaphores, locks, and conditional critical regions -- Message passing and distributed programming -- Putting it together
Control code
ocn853267750
Dimensions
unknown
Extent
1 online resource (xix, 473 pages)
File format
unknown
Form of item
online
Isbn
9781461218302
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)853267750

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...