Sign-In
Cart
Distributed Programming: Theory and Practice
Paperback
ISBN13: 9781489995933
Publisher: Springer Nature
Published: Oct 15 2014
Pages: 386
Weight: 1.24
Height: 0.83 Width: 6.14 Depth: 9.21
Language: English
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets.
Distributed Programming: Theory and Practice bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms. Programs are written in a real-life programming notation, along the lines of Java and Python with explicit instantiation of threads and programs. Students and programmers will see these as programs and not merely algorithms in pseudo-code. The programs implement interesting algorithms and solve problems that are large enough to serve as projects in programming classes and software engineering classes. Exercises and examples are included at the end of each chapter with on-line access to the solutions.
Distributed Programming: Theory and Practice is designed as an advanced-level text book for students in computer science and electrical engineering. Programmers, software engineers and researchers working in this field will also find this book useful.
1 different editions
Also available
Also in
Networking
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
The Groundbreaker: Entrepreneurship, the American Dream, and the Rise of Modern India
Rekhi, Kanwal
Hardcover
The Wireless Cookbook: Build Real Projects and Master Wi-Fi, Bluetooth, and Lora
Zimmerman, Bill
Paperback
The Practice of System and Network Administration: Devops and Other Best Practices for Enterprise It, Volume 1
Hogan, Christina
Chalup, Strata
Limoncelli, Thomas
Paperback
Home Assistant for Beginners: Build a private smart home without relying on the cloud
Haagenrud, Thom
Paperback
Mobile Forensic Investigations: A Guide to Evidence Collection, Analysis, and Presentation, Second Edition
Reiber, Lee
Paperback
Cilium: Up and Running: Cloud Native Networking, Security, and Observability
Nikolic, Filip
Laverack, James
Vibert, Nico
Paperback
Computer Science Unleashed: Harness the Power of Computational Systems
Ferreira Filho, Wladston
Pictet, Raimondo
Paperback
AI Data Center Network Design and Technologies
Styszynski, Michal
Tambakuwala, Himanshu
Subramaniam, Mahesh
Paperback
Mastering the Togaf(r) Standard: A Practical Translation of the World's Leading Architecture Framework
Jager, Eric
Paperback
Meshtastic: A Comprehensive Guide to Off-Grid Mesh Communication: Second Edition
Rodgers, David A., Jr.
Paperback
31 Days Before Your CCNA Exam: A Day-By-Day Review Guide for the CCNA 200-301 Certification Exam
Johnson, Allan
Paperback
Learn Computer Forensics - Second Edition: Your one-stop guide to searching, analyzing, acquiring, and securing digital evidence
Oettinger, William
Paperback
Root cause: Stories and Lessons from Two Decades of Backend Engineering Bugs
Nasser, Hussein
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
Zero Trust Networks: Building Secure Systems in Untrusted Networks
Morillo, Christina
Gilman, Evan
Rais, Razi
Paperback
Red Team Engineering: The Art of Building Offensive Tools and Infrastructure
Erdmann, Casey
Paperback
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
High Performance Browser Networking: What Every Web Developer Should Know about Networking and Web Performance
Grigorik, Ilya
Paperback
IA desde cero: Inteligencia Artificial explicada de forma fácil
García García-Tuñón, Susana
Paperback
Cisco ASA for Accidental Administrators: An Illustrated Step-by-Step ASA Learning and Configuration Guide
Crawley, Don R.
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Hands-On Network Forensics: Investigate network attacks and find evidence using common network forensic tools
Jaswal, Nipun
Paperback
CCNP and CCIE Enterprise Core & CCNP Enterprise Advanced Routing Portable Command Guide: All Encor (350-401) and Enarsi (300-410) Commands in One Comp
Gargano, Patrick
Empson, Scott
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time
Saydjari, O. Sami
Paperback
Network Programmability and Automation: Skills for the Next-Generation Network Engineer
Adell, Christian
Lowe, Scott S.
Oswalt, Matt
Paperback
Delta Lake: The Definitive Guide: Modern Data Lakehouse Architectures with Data Lakes
Haines, Scott
Lee, Denny
Wentling, Tristen
Paperback
Crafting Great APIs with Domain-Driven Design: Collaborative Craftsmanship of Asynchronous and Synchronous APIs
Junker, Annegret
Lazzaretti, Fabrizio
Paperback
CCNP and CCIE Data Center Core Dccor 350-601 Official Cert Guide
Nikolov, Iskren
Maloo, Somit
Ahmed, Firas
Paperback
Learning API Styles: Understanding the Trade-Offs of Common APIs and Choosing the Correct Solutions
Dulak, Marcin
Dynowski, Lukasz
Paperback
A Complete Guide to Agentforce: Plan, Design, Build and Run AI Agents with Salesforce
Kovala, Timo
Paperback
ITIL(R) 4 Create, Deliver and Support (CDS): Your companion to the ITIL 4 Managing Professional CDS certification
Agutter, Claire
Paperback
Gray Hat Hacking: The Ethical Hacker's Handbook, Sixth Edition
Harper, Allen
Linn, Ryan
Sims, Stephen
Paperback
Mike Meyers' Comptia Network+ Guide to Managing and Troubleshooting Networks, Sixth Edition (Exam N10-008)
Jernigan, Scott
Paperback
Linux for Makers: Understanding the Operating System That Runs Raspberry Pi and Other Maker Sbcs
Newcomb, Aaron
Paperback
A Beginner's Guide to Mainframe z/OS Networking - Connecting and Communicating in the Mainframe World - Book 5
Sahoo, Natabar
Paperback
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
Business Data Communications & IT Infrastructures
Daniel, Clinton
Connolly, Amy
Agrawal, Manish
Paperback
The Home Network Manual: The Complete Guide to Setting Up, Upgrading, and Securing Your Home Network
Buchanan, Marlon
Paperback
Starlink Made Simple: A Step-by-Step Guide to Setting Up, Using, and Mastering SpaceX's Satellite Internet
Mavis, Taylor
Paperback
Wireshark Certified Network Analyst Exam Prep Guide (Second Edition): WCNA Official Exam Prep Guide
Chappell, Laura
Paperback
Electronics Projects with the Esp8266 and Esp32: Building Web Pages, Applications, and Wifi Enabled Devices
Cameron, Neil
Paperback
Mastering Windows Server 2022 - Fourth Edition: Comprehensive administration of your Windows Server environment
Krause, Jordan
Paperback
AWS for Solutions Architects - Third Edition: Design and scale secure AWS architectures with GenAI strategies and real-world patterns
Shrivastava, Saurabh
Srivastav, Neelanjali
Thakur, Dhiraj
Paperback
Fatal Abstraction: Revolutionizing Strategy and Innovation for the Age of AI
Nichols, Michael
Paperback
Enterprise Guide for Implementing Generative AI and Agentic AI: A Practical Guide to Developing, Deploying, and Operationalizing Ai-Driven Application
Bhattacharya, Rahul
Sinha, Vikas
Edward, Shakuntala Gupta
Paperback
The Elements of Networking Style: And Other Essays & Animadversions on the Art of Intercomputer Networking
Padlipsky, M. a.
Paperback
CCNP Data Center Application Centric Infrastructure 300-620 Dcaci Official Cert Guide
Ahmadi, Ammar
Hardcover
UNIX in a Nutshell: A Desktop Quick Reference - Covers Gnu/Linux, Mac OS X, and Solaris
Robbins, Arnold
Paperback
Time Management for System Administrators: Stop Working Late and Start Working Smart
Limoncelli, Thomas A.
Paperback
Mastering Palo Alto Networks - Third Edition: The complete journey to firewall mastery from setup to advanced security
'Reaper', Tom Piens Aka
Paperback
Security Operations Center: Building, Operating, and Maintaining Your Soc
McIntyre, Gary
Alfardan, Nadhem
Muniz, Joseph
Paperback
Comando de Linux: Una guía completa para principiantes para aprender los reinos del comando Linux desde A-Z
Vance, William
Paperback
The Fraud Fighter's AI Playbook: Strategies for the Genai Era
Maraney, Shoshana
Zamir, Chen
Saporta, Gilit
Paperback
iPhone 8: The User Guide For all iPhone 8, iPhone 8 Plus and older iPhone model Users
Binjeh, Jhale
Paperback
Migrating to SAP S/4hana: Operating Models, Migration Scenarios, Tools, and Implementation
Densborn, Frank
Finkbohner, Frank
Höft, Martina
Hardcover
Computer Networking for Beginners: The Beginner's guide for Mastering Computer Networking, the Internet and the OSI Model
Nastase, Ramon Adrian
Paperback
Enterprise Architecture with Sap: Planning, Management, and Transformation
Das, Anup
Klee, Peter
Reichel, Johannes
Paperback
Hacking Exposed Industrial Control Systems: ICS and Scada Security Secrets & Solutions
Shbeeb, Aaron
Bodungen, Clint
Singer, Bryan
Paperback
Asterisk: The Definitive Guide: Open Source Telephony for the Enterprise
Madsen, Leif
Meggelen, Jim Van
Bryant, Russell
Paperback
ITIL 4 Digital and IT Strategy (DITS): Your companion to the ITIL 4 Strategic Leader DITS certification
Agutter, Claire
Paperback
IP Subnetting for Beginners: Your Complete Guide to Master IP Subnetting in 4 Simple Steps
Nastase, Ramon A.
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Beginning Lora Radio Networks with Arduino: Build Long Range, Low Power Wireless Iot Networks
Seneviratne, Pradeeka
Paperback
Development and Deployment of Multiplayer Online Games, Vol. II: DIY, (Re)Actors, Client Arch., Unity/UE4/ Lumberyard/Urho3D
Hare, 'No Bugs'
Hardcover
Switching, Routing, and Wireless Essentials Labs and Study Guide (Ccnav7)
Johnson, Allan
Cisco Networking Academy
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Hardcover
IDS and IPS with Snort 3: Get up and running with Snort 3 and discover effective solutions to your security issues
Thomas, Ashley
Paperback
Hands-On Ethical Hacking Tactics: Strategies, tools, and techniques for effective cyber defense
Hartman, Shane
Paperback
Wireless Security Architecture: Designing and Maintaining Secure Wireless for Enterprise
Minella, Jennifer
Paperback
Perceptrons, Reissue of the 1988 Expanded Edition with a New Foreword by Léon Bottou: An Introduction to Computational Geometry
Minsky, Marvin
Papert, Seymour A.
Paperback
Practical Lakehouse Architecture: Designing and Implementing Modern Data Platforms at Scale
Thalpati, Gaurav Ashok
Paperback
Silence on the Wire: A Field Guide to Passive Reconnaissance and Indirect Attacks
Zalewski, Michal
Paperback
Agentic AI in Enterprise: Harnessing Agentic AI for Business Transformation
Chembachere, Divya
Lobo, Lanwin
Ranjan, Sumit
Paperback
TCP/IP Illustrated, Volume 3: TCP for Transactions, Http, Nntp, and the UNIX Domain Protocols
Stevens, W.
Paperback
Intelligent Iot Analytics: Concepts and Real-World Applications
Mahendra, Adhiguna
Rinaldi, Ekki
Paperback
Ethernet: The Definitive Guide: Designing and Managing Local Area Networks
Zimmerman, Joann
Spurgeon, Charles E.
Paperback
iOS Forensics for Investigators: Take mobile forensics to the next level by analyzing, extracting, and reporting sensitive evidence
Tiepolo, Gianluca
Paperback
Client Logbook: A client log book is a written record of a client's interactions with a particular service or organization.
Publishing, Myjwc
Paperback
CompTIA A+ Practice Test Core 1 (220-1101): Over 500 practice questions to help you pass the CompTIA A+ Core 1 exam on your first attempt
Neil, Ian
Birch, Mark
Paperback
Segment Routing for Service Provider and Enterprise Networks
Hoxha, Leonir
Deragisch, Florian
Minder, Rene
Paperback
Ansible: Up and Running: Automating Configuration Management and Deployment the Easy Way
Meijer, Bas
Hochstein, Lorin
Moser, René
Paperback
Network Security with OpenSSL: Cryptography for Secure Communications
Chandra, Pravir
Viega, John
Messier, Matt
Paperback
Cwna Certified Wireless Network Administrator Study Guide: Exam Cwna-108
Coleman, David D.
Westcott, David A.
Paperback
The Iot Hacker's Handbook: A Practical Guide to Hacking the Internet of Things
Gupta, Aditya
Paperback
Top 20 Essential Skills for ArcGIS Utility Network
Myers, Remi
Mayo, Melissa L.
Cremons, Christopher
Paperback
Network Programming in Elixir and ERLANG: Write High-Performance, Scalable, and Reliable Apps with TCP and Udp
Leopardi, Andrea
Paperback