Formal Methods for Open Object-Based Distributed Systems | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Methods for Open Object-Based Distributed Systems
  • #
  • #

Formal Methods for Open Object-Based Distributed Systems

236.00 EUR 195.84 EUR 17% Off

Dieses Buch beleuchtet formale Techniken für offene objektbasierte verteilte Systeme, bietet neue Modellierungsansätze, prüft Kommunikationsprotokolle und zeigt praxisnahe Verifikationstechniken.

Teilen:

Ähnliche Produkte

Formal Methods for Open Object-Based Distributed Systems V

Formal Methods for Open Object-Based Distributed Systems V

102.54 EUR
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: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 10, Band 10)

186.13 EUR
Formal Methods for Open Object-Based Distributed Systems IV

Formal Methods for Open Object-Based Distributed Systems IV

195.84 EUR
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)

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)

93.98 EUR
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS

45.88 EUR
Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

188.50 EUR