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.66 €
RRP: 56.07 €
You save 5.40 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Rok, w którym nie umarłem
12.05 € -11 % -
chinesische Arbeitsmarkt - Konzepte und Massnahmen zur Integration von "Landfluchtigen in stadtische Arbeitsmarkte
42.86 € -11 % -
Doctrine de Saint-Simon. Exposition
26.95 € -
Loss of Hindustan
30.09 € -
Mouse and Mole: Secret Valentine
12.05 € -25 % -
Lung Cancer, An Issue of Surgical Oncology Clinics of North America
103.67 € -5 % -
diavolo accanto. Incontri di un parroco esorcista
14.08 € -
Journal of Samuel Curwen, Loyalist
68.30 € -
L'Essor (1896)
29.28 € -1 % -
Financial Mastery for the Career Teacher
20.77 € -9 % -
Les Opéras de Haendel
27.45 € -
Anger Unmasked for Parents
21.07 € -24 % -
The Nervous Child, V10, No. 2, 1953: Childhood Hysteria
24.72 € -2 % -
Urban Lullaby
7.89 € -24 % -
Oberallgäu
16.81 € -5 % -
Explorem Lleida!
16.31 € -5 % -
My Affirmations & Universe Requests: Record & track your daily affirmations and sending out request to the universe. Diamond effect design
8.10 € -7 % -
Nanomedicine
105.80 € -
Real Options
56.74 € -6 % -
Hall Of Kings
172.38 € -7 % -
Afrikanische Schlammfische
121.20 € -12 % -
Bibi Blocksberg - Mein verrücktes Hexpapier-Malbuch
6.78 € -
Theory of Large-Scale Ocean Circulation
51.57 € -
Principles of Clinical Cytogenetics
398.99 € -
Fundamentals of Polymer Engineering
109.54 € -
Exploring Chaos
80.97 € -
Para Escucharte Mejor
17.12 € -1 % -
Sanfte Radikalität
11.85 € -10 %
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 Knihy po anglicky Computing & information technology Computer networking & communications Distributed systems
50.66 €
- 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.51 € -25 % -
Microservice Architecture
39.31 € -
Foundations for Architecting Data Solutions
54.41 € -
Flow Architectures
39.62 € -25 % -
Mastering Ceph
47.32 € -1 % -
Distributed Systems
98.50 € -
Modern System Administration
46.51 € -25 % -
Distributed Systems
190.22 € -
VMware Cookbook 2e
32.12 € -24 % -
Mastering Ceph
47.32 € -1 % -
Guide to High Performance Distributed Computing
50.66 € -9 % -
Distributed Computing by Mobile Entities
113.50 € -7 % -
Spark - Big Data Cluster Computing in Production
48.84 € -4 % -
Mastering Spring Cloud
53.70 € -1 % -
Internet and Distributed Computing Systems
47.62 € -7 % -
Intelligent Distributed Computing III
168.02 € -
Intelligent Distributed Computing V
206.13 € -7 % -
Practical LTE Based Security Forces PMR Networks
125.66 € -
International Symposium on Distributed Computing and Artificial Intelligence
216.77 € -
Reactive Systems Architecture
32.42 € -24 % -
Distributed Computing and Internet Technology
49.65 € -7 % -
Systems Programming
110.15 € -
Software Defined-WAN for the Digital Age
92.42 € -
Guide to Reliable Distributed Systems
92.01 € -
Intelligent Distributed Computing IV
206.13 € -7 % -
Large-Scale Distributed Computing and Applications
187.99 € -
Building a Windows IT Infrastructure in the Cloud
34.55 € -
Modeling And Simulation Of Distributed Systems (With Cd-rom)
89.48 € -9 % -
Intelligent Decision Systems in Large-Scale Distributed Environments
154.64 € -7 % -
Distributed Computer and Communication Networks
51.78 € -7 % -
Compressed Sensing for Distributed Systems
51.78 € -7 % -
Metaheuristics for Scheduling in Distributed Computing Environments
154.64 € -7 % -
Practical Ansible 2
42.76 € -2 % -
Distributed Computing with Go
42.76 € -2 % -
Formal Techniques for Distributed Systems
56.14 € -
Pro Spark Streaming
39.21 € -
Advances in Grid and Pervasive Computing
51.78 € -7 % -
Intelligent Distributed Computing III
154.64 € -7 % -
Distributed Embedded Systems: Design, Middleware and Resources
109.54 € -
Upgrading and Migrating to BizTalk Server 2016
51.37 € -25 % -
Quantitative Assessments of Distributed Systems - Methodologies and Techniques
211.30 € -4 % -
Mastering Cloud Computing
97.89 € -
Distributed Applications and Interoperable Systems
56.14 € -
Resource Service Management in Manufacturing Grid System
205.21 € -3 % -
Distributed Platforms
216.77 € -
Grid Computing
168.02 € -
Development of Distributed Systems from Design to Application and Maintenance
203.39 € -
Distributed Systems and Applications of Information Filtering and Retrieval
103.16 € -7 % -
Technology Integration Advancements in Distributed Systems and Computing
203.39 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12826 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)