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
50.51 €
RRP: 55.89 €
You save 5.39 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Rok, w którym nie umarłem
11.20 € -17 % -
chinesische Arbeitsmarkt - Konzepte und Massnahmen zur Integration von "Landfluchtigen in stadtische Arbeitsmarkte
42.73 € -11 % -
Doctrine de Saint-Simon. Exposition
26.86 € -
Financial Mastery for the Career Teacher
20.30 € -10 % -
Urban Lullaby
7.87 € -24 % -
Lung Cancer, An Issue of Surgical Oncology Clinics of North America
102.44 € -
Nanomedicine
105.47 € -
Theory of Large-Scale Ocean Circulation
51.42 € -
Fundamentals of Polymer Engineering
102.84 € -7 % -
Principles of Clinical Cytogenetics
351.48 € -9 % -
Exploring Chaos
80.71 € -
Les Opéras de Haendel
27.57 € -
Deniz Gezmis
15.14 € -4 % -
Real Options
56.57 € -6 %
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 122 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
50.51 €
- 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
-
Implementing Service Level Objectives
46.36 € -25 % -
Microservice Architecture
39.19 € -
Foundations for Architecting Data Solutions
54.24 € -
Flow Architectures
39.49 € -25 % -
Mastering Ceph
47.17 € -1 % -
Distributed Systems
92.84 € -14 % -
Modern System Administration
46.36 € -25 % -
Distributed Systems
189.63 € -
VMware Cookbook 2e
32.02 € -24 % -
Guide to High Performance Distributed Computing
50.51 € -9 % -
Mastering Ceph
47.17 € -1 % -
Spark - Big Data Cluster Computing in Production
48.79 € -3 % -
Mastering Spring Cloud
53.54 € -1 % -
Intelligent Distributed Computing III
167.50 € -
Intelligent Distributed Computing V
205.49 € -7 % -
International Symposium on Distributed Computing and Artificial Intelligence
216.10 € -
Practical LTE Based Security Forces PMR Networks
125.27 € -
Systems Programming
109.81 € -
Internet and Distributed Computing Systems
47.47 € -7 % -
Software Defined-WAN for the Digital Age
92.13 € -
Reactive Systems Architecture
32.42 € -24 % -
Guide to Reliable Distributed Systems
80.51 € -9 % -
Large-Scale Distributed Computing and Applications
190.54 € -
Intelligent Distributed Computing IV
205.49 € -7 % -
Building a Windows IT Infrastructure in the Cloud
34.44 € -
Modeling And Simulation Of Distributed Systems (With Cd-rom)
90.92 € -
Intelligent Decision Systems in Large-Scale Distributed Environments
154.16 € -7 % -
Practical Ansible 2
42.63 € -2 % -
Distributed Computer and Communication Networks
51.62 € -7 % -
Compressed Sensing for Distributed Systems
51.62 € -7 % -
Metaheuristics for Scheduling in Distributed Computing Environments
154.16 € -7 % -
Distributed Computing with Go
42.63 € -2 % -
Formal Techniques for Distributed Systems
55.96 € -
Distributed Computing by Mobile Entities
113.15 € -7 % -
Distributed Computing and Internet Technology
49.50 € -7 % -
Pro Spark Streaming
35.45 € -9 % -
Distributed Embedded Systems: Design, Middleware and Resources
102.84 € -7 % -
Intelligent Distributed Computing III
154.16 € -7 % -
Quantitative Assessments of Distributed Systems - Methodologies and Techniques
210.64 € -4 % -
Upgrading and Migrating to BizTalk Server 2016
51.21 € -25 % -
Mastering Cloud Computing
105.37 € -10 % -
Resource Service Management in Manufacturing Grid System
204.58 € -3 % -
Distributed Applications and Interoperable Systems
55.96 € -
Distributed Platforms
216.10 € -
Grid Computing
154.16 € -7 % -
Guide to High Performance Distributed Computing
50.51 € -9 % -
Managing Large-Scale Service Deployment
51.62 € -7 % -
Technology Integration Advancements in Distributed Systems and Computing
205.89 € -
Development of Distributed Systems from Design to Application and Maintenance
205.89 €
Shopping guide
Books by language
Collection points Bratislava a 12944 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25892 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)