Til hovedinnhold
Norli Bokhandel

Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Mode

2018, Pocket, Engelsk

649,-

På lager – Forventes sendt innen 1-2 virkedager
  • På lagerhos 99 butikker

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Produktegenskaper

  • Forfatter

  • Forlag/utgiver

    Springer London Ltd
  • Format

    Pocket
  • Språk

    Engelsk
  • Utgivelsesår

    2018
  • Antall sider

    313
  • Serienavn

    Undergraduate Topics in Computer Science
  • Utgivelsesdato

    21.02.2018
  • Varenummer

    9781447166863

Kundeanmeldelser

Frakt og levering