Formal Techniques for Networked and Distributed Systems - FORTE 2002 | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Techniques for Networked and Distributed Systems - FORTE 2002
  • #
  • #

Formal Techniques for Networked and Distributed Systems - FORTE 2002

59.00 EUR 53.49 EUR 9% Off

Das Werk präsentiert die Erkenntnisse der FORTE‑Konferenz 2002 aus Houston und beleuchtet fortschrittliche formale Methoden für verteilte Systeme, von Modellierung über Verifikation bis hin zu Analyseansätzen.

Teilen:

Ähnliche Produkte

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)

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

Formal Techniques for Distributed Objects, Components, and Systems

61.50 EUR
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

117.69 EUR
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

112.04 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