Kód: 01654238
Modelling Distributed Systems
Autor Wan Fokkink
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 154
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Modelling Distributed Systems
Nákupom získate 173 bodov
Anotácia knihy
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer networking & communications Distributed systems
68.74 €
- Celý názov: Modelling Distributed Systems
- Autor: Wan Fokkink
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 154
- EAN: 9783642093210
- ISBN: 3642093213
- ID: 01654238
- Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnosť: 260 g
- Rozmery: 235 × 155 × 8 mm
- Dátum vydania: 18. November 2010
Obľúbené z iného súdka
-
Designing Distributed Systems
41 € -15 % -
Implementing Service Level Objectives
65.02 € -10 % -
Flow Architectures
47.53 € -15 % -
Microservice Architecture
38.79 € -13 % -
Distributed Systems
97.79 € -
Modern System Administration
55.88 € -14 % -
Mastering Ceph
50.05 € -
Distributed Systems
192.08 € -
VMware Cookbook 2e
45.22 € -
Foundations for Architecting Data Solutions
67.34 € -
Mastering Ceph
56.78 € -
Distributed Systems: Principles and Paradigms
113.77 € -
Advances in Grid and Pervasive Computing
68.74 € -
Grid Technology & Applications
118.90 € -12 % -
Mastering Spring Cloud
63.42 € -
Formal Techniques for Distributed Systems
56.58 € -
Reactive Systems Architecture
45.12 € -
Resource Service Management in Manufacturing Grid System
233.39 € -
Distibuted Computing and Networking
135.89 € -
Stabilization, Safety, and Security of Distributed Systems
68.74 € -
Distributed Computing in Sensor Systems
68.74 € -
Intelligent Distributed Computing III
208.96 € -
Distributed Computer and Communication Networks
68.74 € -
Distributed Systems and Applications of Information Filtering and Retrieval
135.89 € -
Distributed Embedded Systems: Design, Middleware and Resources
135.89 € -
Principles and Applications of Distributed Event-Based Systems
229.67 € -
Development of Distributed Systems from Design to Application and Maintenance
248.77 € -
Building Applications on Mesos
42.71 € -
Software Defined-WAN for the Digital Age
96.28 € -
Practical Ansible 2
51.05 € -
Software Defined-WAN for the Digital Age
74.87 € -
Distributed Platforms
269.98 € -
Distributed Computing and Internet Technology
68.74 € -
Distributed Computing by Mobile Entities
135.89 € -
Distributed Applications and Interoperable Systems
71.46 € -
Systems Programming
133.17 € -
Guide to High Performance Distributed Computing
61.61 € -
Guide to Reliable Distributed Systems
98.09 € -
Practical LTE Based Security Forces PMR Networks
134.78 € -
Distributed Computing and Internet Technology
68.74 € -
Internet and Distributed Computing Systems
62.71 € -
Intelligent Distributed Computing V
269.98 € -
Migratory Interactive Applications for Ubiquitous Environments
135.89 € -
Guide to High Performance Distributed Computing
61.61 € -
Large-Scale Distributed Computing and Applications
229.67 € -
Technology Integration Advancements in Distributed Systems and Computing
248.77 € -
Building a Windows IT Infrastructure in the Cloud
42.71 € -
Energy-Efficient Distributed Computing Systems
173.58 € -
Intelligent Distributed Computing VIII
208.96 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)