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
-
Rok, w którym nie umarłem
275 Kč -
chinesische Arbeitsmarkt - Konzepte und Massnahmen zur Integration von "Landfluchtigen in stadtische Arbeitsmarkte
975 Kč -
Doctrine de Saint-Simon. Exposition
651 Kč -
Urban Lullaby
191 Kč -
Lung Cancer, An Issue of Surgical Oncology Clinics of North America
2481 Kč -
Nanomedicine
2555 Kč -
Fundamentals of Polymer Engineering
2357 Kč -
Principles of Clinical Cytogenetics
8044 Kč -
Theory of Large-Scale Ocean Circulation
1247 Kč -
Financial Mastery for the Career Teacher
504 Kč -
Les Opéras de Haendel
667 Kč -
Exploring Chaos
1956 Kč -
Real Options
1294 Kč -
Deniz Gezmis
348 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Modelling Distributed Systems
Nákupem získáte 116 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
1155 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
-
Microservice Architecture
904 Kč -
Implementing Service Level Objectives
1124 Kč -
Foundations for Architecting Data Solutions
1251 Kč -
Flow Architectures
894 Kč -
Mastering Ceph
1084 Kč -
Distributed Systems
2118 Kč -
Modern System Administration
1124 Kč -
Distributed Systems
4595 Kč -
VMware Cookbook 2e
775 Kč -
Guide to High Performance Distributed Computing
1155 Kč -
Spark - Big Data Cluster Computing in Production
1181 Kč -
Mastering Ceph
1143 Kč -
Mastering Spring Cloud
1296 Kč -
Practical LTE Based Security Forces PMR Networks
3036 Kč -
Systems Programming
2660 Kč -
Reactive Systems Architecture
788 Kč -
Guide to Reliable Distributed Systems
1843 Kč -
Intelligent Distributed Computing III
4060 Kč -
Intelligent Distributed Computing IV
4707 Kč -
Intelligent Distributed Computing V
4707 Kč -
Building a Windows IT Infrastructure in the Cloud
835 Kč -
Intelligent Decision Systems in Large-Scale Distributed Environments
3532 Kč -
Distributed Computer and Communication Networks
1182 Kč -
Compressed Sensing for Distributed Systems
1182 Kč -
Practical Ansible 2
1034 Kč -
International Symposium on Distributed Computing and Artificial Intelligence
5236 Kč -
Distributed Computing with Go
1034 Kč -
Internet and Distributed Computing Systems
1088 Kč -
Software Defined-WAN for the Digital Age
2121 Kč -
Formal Techniques for Distributed Systems
1355 Kč -
Distributed Computing by Mobile Entities
2592 Kč -
Pro Spark Streaming
810 Kč -
Intelligent Distributed Computing III
3532 Kč -
Distributed Embedded Systems: Design, Middleware and Resources
2357 Kč -
Upgrading and Migrating to BizTalk Server 2016
1241 Kč -
Mastering Cloud Computing
2322 Kč -
Large-Scale Distributed Computing and Applications
4385 Kč -
Quantitative Assessments of Distributed Systems - Methodologies and Techniques
5104 Kč -
Distributed Platforms
5236 Kč -
Distributed Applications and Interoperable Systems
1355 Kč -
Modeling And Simulation Of Distributed Systems (With Cd-rom)
2088 Kč -
Grid Computing
3532 Kč -
Resource Service Management in Manufacturing Grid System
4956 Kč -
Managing Large-Scale Service Deployment
1182 Kč -
Guide to High Performance Distributed Computing
1155 Kč -
Metaheuristics for Scheduling in Distributed Computing Environments
3532 Kč -
Distributed Systems and Applications of Information Filtering and Retrieval
2357 Kč -
Technology Integration Advancements in Distributed Systems and Computing
4740 Kč -
Distributed Computing and Internet Technology
1182 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47531 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)