Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Systemanalyse og systemdesign
  5. Specifying Systems: The TLA+ Language and Tools for Hardware...

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

(Bog, Paperback / softback, Engelsk)
Forfatter: Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Forlag: Pearson Education (US)

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

Systemanalyse og systemdesign
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Pearson Education (US)
Forfatter Leslie Lamport
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 20-08-2002
Første udgivelsesår 2002
Originalsprog United States
Sideantal 384
Indbinding Paperback / softback
Forlag Pearson Education (US)
Sideoplysninger 384 pages
Mål 186 x 233 x 28
ISBN-13 / EAN-13 9780321143068