Freunden von diesem Artikel berichten:
On Concurrent Programming - Texts in Computer Science Fred B. Schneider 1997 edition
Preis
€ 49,99
Bestellware
Lieferdatum: ca. 17. - 25. Sep
Benachrichtigungen über neue Veröffentlichungen von Fred B. Schneider erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
On Concurrent Programming - Texts in Computer Science
Fred B. Schneider
A survey of concurrent computing, beginning with proposational logic and concluding with concurrent programming. Exercises at the end of each chapter cover the main themes. The work emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming.
473 pages, biography
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 6. Mai 1997 |
| ISBN13 | 9780387949420 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 473 |
| Maße | 156 × 234 × 26 mm · 870 g |
| Sprache | Englisch Französisch |
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Gebundenes Buch) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2026-the-economics-of-immigration-theory-history-and-policy-population-economics-gebundenes-buch&class=scaled&v=1780314393)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Taschenbuch) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2026-an-introduction-to-manifolds-universitext-taschenbuch&class=scaled&v=1780314358)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Gebundenes Buch) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2026-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-gebundenes-buch&class=scaled&v=1780314405)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2026-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-gebundenes-buch&class=scaled&v=1780314416)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2026-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-gebundenes-buch&class=scaled&v=1782130051)
![Cover for Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/678/9781071653678.jpg?2026-peptide-nucleic-acids-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1780314367)
![Cover for RNA Chaperones: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/715/9781071653715.jpg?2026-rna-chaperones-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1782130048)
![Cover for Maternal and Child Health, Vol. 1: Global Challenges, Programs, and Policies (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/279/9781071654279.jpg?2026-maternal-and-child-health-vol-1-global-challenges-programs-and-policies-gebundenes-buch&class=scaled&v=1780314390)
![Cover for Maternal and Child Health, Vol. 2: Global Challenges, Programs, and Policies (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/316/9781071654316.jpg?2026-maternal-and-child-health-vol-2-global-challenges-programs-and-policies-gebundenes-buch&class=scaled&v=1780314347)
![Cover for Enzyme Stabilization and Immobilization: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/698/9781071651698.jpg?2026-enzyme-stabilization-and-immobilization-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1775079239)
![Cover for Circulating Tumor Cells: Methods and Protocols - Methods in Molecular Biology (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/493/9781071650493.jpg?2026-circulating-tumor-cells-methods-and-protocols-methods-in-molecular-biology-gebundenes-buch&class=scaled&v=1774450137)
![Cover for Seth C. Kalichman · Denying AIDS: Conspiracy Theories and Pseudoscience in a Post-COVID World (Taschenbuch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/602/9781071652602.jpg?seth-c-kalichman-2026-denying-aids-conspiracy-theories-and-pseudoscience-in-a-post-covid-world-taschenbuch&class=scaled&v=1782166924)
![Cover for Detection and Quantification of Bacteria, Yeast, Viruses, and Protozoan in Foods and Freshwater - Methods and Protocols in Food Science (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/639/9781071650639.jpg?2026-detection-and-quantification-of-bacteria-yeast-viruses-and-protozoan-in-foods-and-freshwater-methods-and-protocols-in-food-science-gebundenes-buch&class=scaled&v=1774450462)
