Til hovedinnhold
Norli Bokhandel

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

2018, Heftet, Engelsk

599,-

På lager – Forventes sendt innen 1-4 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

    Heftet
  • Språk

    Engelsk
  • Utgivelsesår

    2018
  • Antall sider

    313
  • Serienavn

    Undergraduate Topics in Computer Science
  • Utgivelsesdato

    21.02.2018
  • EAN

    9781447166863

Kundeanmeldelser

Frakt og levering