Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 | Kaicus Deutschland

Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference On Formal Methods For Open Object-Based . . ... and Communication Technology, 10, Band 10)

195.84 EUR 17% Off 236.00 EUR

Ein praxisorientiertes Nachschlagewerk zu formalen Methoden in offenen objektbasierten verteilten Systemen, das neue Modellierungsansätze vorstellt, Kommunikationsprotokolle mathematisch prüft und Entwickler bei der sicheren Softwareentwicklung unterstützt.

Marke: Paolo Ciancarini
ISBN: 1475752660
MPN: biography