Formal Methods for Distributed System Development: FORTE | Kaicus Deutschland

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Communication Technology, 55, Band 55)

195.84 EUR 8% Off 213.99 EUR

Ein praxisorientierter Leitfaden zur Anwendung formaler Techniken aus der IFIP TC6 WG6.1-Konferenz, der komplexe Modelle für verteilte Systeme verständlich erklärt und konkrete Implementierungsstrategien bietet.

Marke: Tommaso Bolognesi
ISBN: 1475752644
MPN: 3 black & white illustrations, biography