Descripción
Parte I: La semántica de TLA+ y PlusCal1. Un ejemplo2. PlusCal3. Operadores y funciones4. Constantes, modelos e importaciones5. Concurrencia6. Lógica TemporalParte II: Aplicando TLA+
7. Algoritmos8. Estructuras de datos9. Máquinas de estado10. Ambigüedad e interacción de características11. Estudio de caso: MapReduceApéndice A: MatemáticasApéndice B: Biblioteca PTApéndice C: PlusCal a TLA+
Autor: Hillel Wayne
Editorial: Apress
Publicado: 12/10/2018
Páginas: 221
Tipo de encuadernación: Tapa blanda
Peso: 0.96 lbs
Tamaño: 10.00h x 7.00w x 0.52d
ISBN13: 9781484238288
ISBN10: 1484238281
Categorías BISAC:
- Informática | Lenguajes | General
- Informática | Programación | General
- Informática | Desarrollo de software e ingeniería | General
7. Algoritmos8. Estructuras de datos9. Máquinas de estado10. Ambigüedad e interacción de características11. Estudio de caso: MapReduceApéndice A: MatemáticasApéndice B: Biblioteca PTApéndice C: PlusCal a TLA+
Autor: Hillel Wayne
Editorial: Apress
Publicado: 12/10/2018
Páginas: 221
Tipo de encuadernación: Tapa blanda
Peso: 0.96 lbs
Tamaño: 10.00h x 7.00w x 0.52d
ISBN13: 9781484238288
ISBN10: 1484238281
Categorías BISAC:
- Informática | Lenguajes | General
- Informática | Programación | General
- Informática | Desarrollo de software e ingeniería | General
Acerca del autor
Hillel Wayne es un consultor de software especializado en métodos formales y especificaciones. También escribe sobre ingeniería empírica, historia del software y educación. En su tiempo libre, hace malabares y chocolate. Vive en Chicago. Puedes encontrar su otro trabajo en hillelwayne.com o en Twitter en @hillelogram.