Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Leslie Lamport - Grāmatas - Pearson Education (US) - 9780321143068 - 2002. gada 20. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1. izdevums

Cena
€ 42,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 14. aug.
Saņemiet paziņojumus par jauniem Leslie Lamport izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

384 pages

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2002. gada 20. augusts
ISBN13 9780321143068
Izdevēji Pearson Education (US)
Lapas 384
Izmēri 233 × 186 × 28 mm   ·   688 g
Valoda Angļu  

Vairāk no Leslie Lamport

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Leslie Lamport ( piem., Paperback Book un Hardcover Book )