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 3% Off 54.99 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

-3%

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

Galaxus.de

53.49 EUR 54.99 EUR

21-08-2026 04:50:12

Access to the deal

-3%

Gesponsert 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)

Medimops DE

53.49 EUR 54.99 EUR

21-08-2026 03:36:50

Access to the deal

Gesponsert Formal Techniques for Networked and Distributed Systems - FORTE 2002

SpringerLink DE

54.99 EUR 54.99 EUR

21-08-2026 07:32:38

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 Moshe Y. Vardi, Doron A. Peled

Gesponsert 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

Ä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 Moshe Y. Vardi, Doron A. Peled

Gesponsert 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

Ähnliche Produkte

Formal Techniques for Distributed Objects Components and Systems

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

Drechsler, Rolf: Design for Testability, Debug and Reliability

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