Formal Modeling and Analysis of Distributed Systems - An Introduction Based on Executable Modeling in MaudePaperback
Introduces formal modeling of abstract data types and distributed systemsDoes not assume or require any formal methods or theoretical computer science backgroundContains exercises
od 64 €
Specifikacia Formal Modeling and Analysis of Distributed Systems - An Introduction Based on Executable Modeling in MaudePaperback
Introduces formal modeling of abstract data types and distributed systemsDoes not assume or require any formal methods or theoretical computer science backgroundContains exercises