Til hovedinnhold
Norli Bokhandel

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

2018, Pocket, Engelsk

599,-

På nettlager - sendes innen 1-2 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • 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

  • Bidragsyter

    Olveczky, Peter Csaba
  • Forlag/Utgiver

    Thanke AS
  • Format

    Pocket
  • Språk

    Engelsk
  • Utgivelsesår

    2018
  • Antall sider

    313
  • Serienavn

    Undergraduate Topics in Computer Science
  • Kom i salg

    22. feb. 2018
  • Varenummer

    9781447166863

Kundeanmeldelser

Frakt og levering