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)

187.98 EUR 20% Off 236.00 EUR

Marke: Springer