1. Home
  2. Medien
  3. Bücher
  4. Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

68.48 EUR

Dieses Buch liefert einen tiefgehenden Einblick in formale Techniken für verteilte Objekte und Komponenten, erklärt mathematische Modelle und zeigt Schritt‑für‑Schritt, wie man Sicherheit und Korrektheit von Systemen beweist.

Teilen:

Ähnliche Produkte

Formal Techniques for Distributed Objects Components and Systems

Formal Techniques for Distributed Objects Components and Systems

53.49 EUR

Formal Techniques for Distributed Objects, Components, and Systems

53.49 EUR
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

52.94 EUR
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

53.49 EUR
Formal Techniques for Distributed Objects Components and Systems

Formal Techniques for Distributed Objects Components and Systems

74.89 EUR
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th ... Notes in Computer Science, 13273, Band 13273)

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th ... Notes in Computer Science, 13273, Band 13273)

74.89 EUR
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th ... Notes in Computer Science, Band 12719)

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th ... Notes in Computer Science, Band 12719)

52.94 EUR
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... Notes in Computer Science, Band 12136)

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... Notes in Computer Science, Band 12136)

68.94 EUR