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 - Vazba: Brožovaná
- Počet stran: 154
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- Více informací o knize
Mohlo by se vám také líbit
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Modelling Distributed Systems
Nákupem získáte 167 bodů
Anotace knihy
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer networking & communications Distributed systems
1665 Kč
- Plný název: Modelling Distributed Systems
- Autor: Wan Fokkink
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 154
- EAN: 9783642093210
- ISBN: 3642093213
- ID: 01654238
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 260 g
- Rozměry: 235 × 155 × 8 mm
- Datum vydání: 18. November 2010
Oblíbené z jiného soudku
-
Designing Distributed Systems
972 Kč -
Implementing Service Level Objectives
1266 Kč -
Flow Architectures
1085 Kč -
Microservice Architecture
888 Kč -
Distributed Systems
2448 Kč -
Modern System Administration
1266 Kč -
Mastering Ceph
1256 Kč -
Distributed Systems
4642 Kč -
VMware Cookbook 2e
1041 Kč -
Foundations for Architecting Data Solutions
1627 Kč -
Mastering Ceph
1370 Kč -
Distributed Systems: Principles and Paradigms
2863 Kč -
Advances in Grid and Pervasive Computing
1665 Kč -
Distributed Systems and Applications of Information Filtering and Retrieval
3289 Kč -
Intelligent Distributed Computing III
5060 Kč -
Distibuted Computing and Networking
3289 Kč -
Formal Techniques for Distributed Systems
1729 Kč -
Distributed Computing in Sensor Systems
1665 Kč -
Grid Technology & Applications
2994 Kč -
Distributed Embedded Systems: Design, Middleware and Resources
3289 Kč -
Mastering Spring Cloud
1532 Kč -
Stabilization, Safety, and Security of Distributed Systems
1665 Kč -
Distributed Computer and Communication Networks
1665 Kč -
Reactive Systems Architecture
1133 Kč -
Resource Service Management in Manufacturing Grid System
6064 Kč -
Principles and Applications of Distributed Event-Based Systems
5569 Kč -
Distributed Platforms
6536 Kč -
Distributed Computing and Internet Technology
1665 Kč -
Development of Distributed Systems from Design to Application and Maintenance
6031 Kč -
Building Applications on Mesos
1032 Kč -
Software Defined-WAN for the Digital Age
2424 Kč -
Practical Ansible 2
1233 Kč -
Software Defined-WAN for the Digital Age
1811 Kč -
Distributed Computing by Mobile Entities
3289 Kč -
Distributed Computing and Internet Technology
1665 Kč -
Migratory Interactive Applications for Ubiquitous Environments
3289 Kč -
Internet and Distributed Computing Systems
1518 Kč -
Distributed Applications and Interoperable Systems
1729 Kč -
Intelligent Distributed Computing V
6536 Kč -
Systems Programming
3232 Kč -
Guide to High Performance Distributed Computing
1481 Kč -
Guide to Reliable Distributed Systems
2357 Kč -
Practical LTE Based Security Forces PMR Networks
3263 Kč -
Intelligent Distributed Computing IV
6536 Kč -
Guide to High Performance Distributed Computing
1481 Kč -
International Symposium on Distributed Computing and Artificial Intelligence
6536 Kč -
Large-Scale Distributed Computing and Applications
5569 Kč -
Technology Integration Advancements in Distributed Systems and Computing
6031 Kč -
Building a Windows IT Infrastructure in the Cloud
1032 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)