Name: Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, 2529, Band 2529)
Brand: Peled, Doron A.
SKU: ID13100642
Availability: InStock

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, 2529, Band 2529)

53.49 EUR

Ein kompakter Leitfaden aus der FORTE‑Konferenz 2002, der innovative formale Verfahren für verteilte Netzwerke erläutert – von Modellierung über Analyse bis hin zu Verifikationstechniken.

Marke: Peled, Doron A.

ISBN: 3540001417

MPN: Illustrations

Angebote
Merkmale

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

Gesponsert Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher von Doron A. Peled, Moshe Y. Vardi

Galaxus.de

53.49 EUR 53.49 EUR

28-06-2026 11:16:30

Access to the deal

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, 2529, Band 2529)

Gesponsert Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher von Doron A. Peled, Moshe Y. Vardi

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, 2529, Band 2529)

Gesponsert Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher von Doron A. Peled, Moshe Y. Vardi

Ähnliche Produkte

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

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: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... Notes in Computer Science, Band 12136)

Drechsler, Rolf: Design for Testability, Debug and Reliability