Formal Techniques for Distributed Systems

Ein kompakter Leitfaden, der die Theorie formaler Methoden mit konkreten Analysewerkzeugen für verteilte Systeme vereint; er erklärt Modellierung, V ...

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 75 black & white illustrations, biograph
ISBN
Springer-Verlag GmbH 9783642307928

Eigenschaften

Menü