Menu
Află starea comenzii
Contactați-ne
Carte Modelling Distributed Systems Wan Fokkink

Modelling Distributed Systems

Autor: Wan Fokkink
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
271.62 lei
This textbook guides students through algebraic specification and verification of distributed system...

Informații despre carte

Autor
Wan Fokkink
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2010
Pagini
154
EAN
9783642093210
ISBN
3642093213
Enbook ID
01654238
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
260
Dimensiuni
155 x 235 x 8

Descriere completă

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

S-ar putea să te intereseze

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

Mark J. Krasna
522.52 lei

Fundamentals of Polymer Engineering

Arie Ram
553.26 lei

Principles of Clinical Cytogenetics

Steven L. Gersen
1 892.59 lei

Exploring Chaos

Brian Davies
450.01 lei

Financial Mastery for the Career Teacher

Gene Siciliano
106.17 lei

Urban Lullaby

R Warren Goler
45.50 lei

Nanomedicine

Michael Hehenberger
587.95 lei

Theory of Large-Scale Ocean Circulation

Samelson
288.10 lei

Clienții care au cumpărat această carte au mai cumpărat și

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

Alexander Fedossov
230.76 lei

Real Options

Thomas Dangl
304.49 lei

Doctrine de Saint-Simon. Exposition

ENFANTIN-B-P
150.37 lei

Les Opéras de Haendel

ROUVIERE
140.46 lei

Deniz Gezmis

81.30 lei

Rok, w którym nie umarłem

Mikołaj Grynberg
61.27 lei