Name: Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)
Brand: Bart Jacobs
SKU: ID13109919

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

102.54 EUR 13% Off 118.00 EUR

Ein kompakter Leitfaden, der die wichtigsten formalen Techniken zur Analyse offener, objektbasierter verteilten Systeme zusammenfasst und anhand von Fallstudien aus der fünften IFIP-Konferenz konkrete Modellierungsschritte demonstriert.

Marke: Bart Jacobs

ISBN: 1475752687

MPN: biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-13%

Gesponsert Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

Medimops DE

102.54 EUR 118.00 EUR

03-11-2026 01:24:14

Access to the deal

-9%

Gesponsert Formal Methods for Open Object-Based Distributed Systems V

Hugendubel

106.99 EUR 118.00 EUR

03-11-2026 16:34:42

Access to the deal

Gesponsert Formal Methods for Open Object-Based Distributed Systems V

SpringerLink DE

118.00 EUR 118.00 EUR

03-11-2026 18:10:51

Access to the deal

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

Gesponsert Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

Gesponsert Formal Methods for Open Object-Based Distributed Systems V

Gesponsert Formal Methods for Open Object-Based Distributed Systems V

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

Gesponsert Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

Gesponsert Formal Methods for Open Object-Based Distributed Systems V

Gesponsert Formal Methods for Open Object-Based Distributed Systems V

Ähnliche Produkte

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)

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 49, Band 49)

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science, 4037, Band 4037)

Concurrency:Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, Sept. 25-27, 1989 Proceedings: 6th IFIP WG 6.1 International Conference, ...