Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Modelling Distributed Systems

Name: Modelling Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642093210
Price: 1120 CZK
Availability: InStock

Autor: Wan Fokkink

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 120 Kč

This textbook guides students through algebraic specification and verification of distributed system...

Informace o knize

Autor

Wan Fokkink

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2010

Stránek

154

EAN

9783642093210

ISBN

3642093213

Enbook ID

01654238

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

260

Rozměry

155 x 235 x 8

Kompletní popis

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Modelling Distributed Systems

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Lung Cancer, An Issue of Surgical Oncology Clinics of North America

Fundamentals of Polymer Engineering

Principles of Clinical Cytogenetics

Exploring Chaos

Financial Mastery for the Career Teacher

Urban Lullaby

Nanomedicine

Theory of Large-Scale Ocean Circulation

Zákaznicí kteří koupili tuto knihu koupili také

chinesische Arbeitsmarkt - Konzepte und Massnahmen zur Integration von "Landfluchtigen in stadtische Arbeitsmarkte

Real Options

Doctrine de Saint-Simon. Exposition

Les Opéras de Haendel

Deniz Gezmis

Rok, w którym nie umarłem