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
50.58 €
Bežne: 55.97 €
Ušetríte 5.39 €
Skladom u dodávateľa
Odosielame za 5 - 8 dní
Mohlo by sa vám tiež páčiť
-
Rok, w którym nie umarłem
12.03 € -11 % -
chinesische Arbeitsmarkt - Konzepte und Massnahmen zur Integration von "Landfluchtigen in stadtische Arbeitsmarkte
42.79 € -11 % -
Doctrine de Saint-Simon. Exposition
26.90 € -
Urban Lullaby
7.88 € -24 % -
Lung Cancer, An Issue of Surgical Oncology Clinics of North America
102.58 € -
Nanomedicine
105.62 € -
Fundamentals of Polymer Engineering
102.99 € -7 % -
Principles of Clinical Cytogenetics
351.99 € -9 % -
Theory of Large-Scale Ocean Circulation
51.49 € -
Financial Mastery for the Career Teacher
20.83 € -10 % -
Les Opéras de Haendel
27.61 € -
Exploring Chaos
80.83 € -
Real Options
56.65 € -6 % -
Deniz Gezmis
15.17 € -4 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Modelling Distributed Systems
Nákupom získate 122 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
50.58 €
- 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
-
Microservice Architecture
39.25 € -
Implementing Service Level Objectives
46.43 € -25 % -
Foundations for Architecting Data Solutions
54.32 € -
Flow Architectures
39.55 € -25 % -
Mastering Ceph
47.24 € -1 % -
Distributed Systems
92.97 € -14 % -
Modern System Administration
46.43 € -25 % -
Distributed Systems
189.90 € -
VMware Cookbook 2e
32.06 € -24 % -
Guide to High Performance Distributed Computing
50.58 € -9 % -
Spark - Big Data Cluster Computing in Production
48.86 € -3 % -
Mastering Ceph
47.24 € -1 % -
Mastering Spring Cloud
53.61 € -1 % -
Practical LTE Based Security Forces PMR Networks
125.45 € -
Systems Programming
109.97 € -
Guide to Reliable Distributed Systems
80.63 € -9 % -
Intelligent Distributed Computing III
167.84 € -
Intelligent Distributed Computing IV
205.79 € -7 % -
Intelligent Distributed Computing V
205.79 € -7 % -
Building a Windows IT Infrastructure in the Cloud
34.49 € -
Intelligent Decision Systems in Large-Scale Distributed Environments
154.39 € -7 % -
Distributed Computer and Communication Networks
51.69 € -7 % -
Compressed Sensing for Distributed Systems
51.69 € -7 % -
Practical Ansible 2
42.69 € -2 % -
International Symposium on Distributed Computing and Artificial Intelligence
216.41 € -
Distributed Computing with Go
42.69 € -2 % -
Internet and Distributed Computing Systems
47.54 € -7 % -
Software Defined-WAN for the Digital Age
92.26 € -
Formal Techniques for Distributed Systems
56.04 € -
Distributed Computing by Mobile Entities
113.31 € -7 % -
Pro Spark Streaming
35.50 € -9 % -
Reactive Systems Architecture
32.57 € -24 % -
Intelligent Distributed Computing III
154.39 € -7 % -
Distributed Embedded Systems: Design, Middleware and Resources
102.99 € -7 % -
Upgrading and Migrating to BizTalk Server 2016
51.29 € -25 % -
Mastering Cloud Computing
96.01 € -
Large-Scale Distributed Computing and Applications
190.81 € -
Quantitative Assessments of Distributed Systems - Methodologies and Techniques
210.95 € -4 % -
Distributed Platforms
216.41 € -
Distributed Applications and Interoperable Systems
56.04 € -
Modeling And Simulation Of Distributed Systems (With Cd-rom)
90.44 € -
Grid Computing
154.39 € -7 % -
Resource Service Management in Manufacturing Grid System
204.88 € -3 % -
Managing Large-Scale Service Deployment
51.69 € -7 % -
Guide to High Performance Distributed Computing
50.58 € -9 % -
Metaheuristics for Scheduling in Distributed Computing Environments
154.39 € -7 % -
Distributed Systems and Applications of Information Filtering and Retrieval
102.99 € -7 % -
Technology Integration Advancements in Distributed Systems and Computing
206.19 € -
Distributed Computing and Internet Technology
51.69 € -7 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12744 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)