Code: 01654238
Modelling Distributed Systems
by Wan Fokkink
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
- Language:
English - Binding: Paperback
- Number of pages: 154
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- More about this
You might also like
-
Lung Cancer, An Issue of Surgical Oncology Clinics of North America
458.15 zł -
Fundamentals of Polymer Engineering
564.63 zł -
Nanomedicine
539.24 zł
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Modelling Distributed Systems
You get 166 loyalty points
Book synopsis
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Book details
Book category Books in English Computing & information technology Computer networking & communications Distributed systems
285.78 zł
- Full title: Modelling Distributed Systems
- Author: Wan Fokkink
- Language: English
- Binding: Paperback
- Number of pages: 154
- EAN: 9783642093210
- ISBN: 3642093213
- ID: 01654238
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 260 g
- Dimensions: 235 × 155 × 8 mm
- Date of publishing: 18. November 2010
Trending among others
-
Designing Distributed Systems
198.14 zł -5 % -
Implementing Service Level Objectives
312.48 zł -
Flow Architectures
229.67 zł -4 % -
Microservice Architecture
148.18 zł -23 % -
Distributed Systems
332.73 zł -
Modern System Administration
269.67 zł -5 % -
Mastering Ceph
235.32 zł -
Distributed Systems
902.10 zł -
VMware Cookbook 2e
178.70 zł -5 % -
Foundations for Architecting Data Solutions
279.34 zł -
Mastering Ceph
235.21 zł -
Distributed Systems: Principles and Paradigms
449.38 zł -
Advances in Grid and Pervasive Computing
285.78 zł -
Distributed Systems and Applications of Information Filtering and Retrieval
564.63 zł -
Intelligent Distributed Computing III
868.66 zł -
Distibuted Computing and Networking
564.63 zł -
Distributed Computing in Sensor Systems
285.78 zł -
Grid Technology & Applications
455.23 zł -22 % -
Distributed Embedded Systems: Design, Middleware and Resources
564.63 zł -
Mastering Spring Cloud
263.02 zł -
Stabilization, Safety, and Security of Distributed Systems
285.78 zł -
Distributed Computer and Communication Networks
285.78 zł -
Formal Techniques for Distributed Systems
256.77 zł -
Reactive Systems Architecture
195.22 zł -
Resource Service Management in Manufacturing Grid System
1008.58 zł -
Principles and Applications of Distributed Event-Based Systems
955.99 zł -
Distributed Platforms
1122.01 zł -
Distributed Computing and Internet Technology
285.78 zł -
Development of Distributed Systems from Design to Application and Maintenance
1035.38 zł -
Building Applications on Mesos
177.19 zł -
Software Defined-WAN for the Digital Age
378.36 zł -
Practical Ansible 2
211.64 zł -
Software Defined-WAN for the Digital Age
310.87 zł -
Distributed Computing by Mobile Entities
564.63 zł -
Distributed Computing and Internet Technology
285.78 zł -
Migratory Interactive Applications for Ubiquitous Environments
564.63 zł -
Internet and Distributed Computing Systems
260.60 zł -
Distributed Applications and Interoperable Systems
296.76 zł -
Intelligent Distributed Computing V
1122.01 zł -
Systems Programming
554.86 zł -
Guide to High Performance Distributed Computing
242.06 zł -
Guide to Reliable Distributed Systems
385.41 zł -
Practical LTE Based Security Forces PMR Networks
560.20 zł -
Intelligent Distributed Computing IV
1122.01 zł -
Guide to High Performance Distributed Computing
242.06 zł -
International Symposium on Distributed Computing and Artificial Intelligence
1122.01 zł -
Large-Scale Distributed Computing and Applications
955.99 zł -
Technology Integration Advancements in Distributed Systems and Computing
1035.38 zł -
Building a Windows IT Infrastructure in the Cloud
177.19 zł
Shopping guide
Books by language
250 000
safisfied customers
safisfied customers
Since 2008, we have served long line of book lovers, but each of them was always on the first place.
Paczkomat 12,99 ZŁ 31975 punktów
Copyright! ©2008-24 libristo.pl All rights reservedPrivacyPoučení o cookies
21 million books
Delivery 12.99 zł
(32) 444 93 66 (8-15.30h)