Science of Concurrent Programs
portes grátis
Science of Concurrent Programs
Lamport, Leslie
Cambridge University Press
03/2026
332
Dura
Inglês
9781009719858
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
About this book; Acknowledgments; 1. Introduction; 2. Ordinary math; 3. Describing abstract programs with math; 4. Safety, liveness, and fairness; 5. Interlude; 6. Refinement; 7. Auxiliary variables; 8. Loose ends; A. Miscellany; B. Proofs; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
About this book; Acknowledgments; 1. Introduction; 2. Ordinary math; 3. Describing abstract programs with math; 4. Safety, liveness, and fairness; 5. Interlude; 6. Refinement; 7. Auxiliary variables; 8. Loose ends; A. Miscellany; B. Proofs; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
