Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. 3D-grafik og modellering
  5. Netværkskomponenter
  6. Softwareudvikling
  7. Matematisk datateori
  8. Designing Reliable Distributed Systems: A Formal Methods...

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

(Bog, Paperback / softback, Engelsk)
Forfatter: Peter Csaba Olveczky
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Forlag: Springer London Ltd

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

3D-grafik og modellering Matematisk datateori Netværkskomponenter Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer London Ltd
Forfatter Peter Csaba Olveczky
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2017
Udgivelsesdato 22-02-2018
Første udgivelsesår 2018
Serie Undergraduate Topics in Computer Science
Illustrationer 6 Illustrations, color; 11 Illustrations, black and white; XVIII, 313 p. 17 illus., 6 illus. in color.
Originalsprog United Kingdom
Sideantal 313
Indbinding Paperback / softback
Forlag Springer London Ltd
Sideoplysninger 313 pages, 6 Illustrations, color; 11 Illustrations, black and white; XVIII, 313 p. 17 illus., 6 ill
Mål 159 x 238 x 18
ISBN-13 / EAN-13 9781447166863