Practical TLA+: planning driven development

Detalles Bibliográficos
Autor principal: Wayne, Hillel
Lenguaje:eng
Publicado: Apress 2018
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2647423

Internet

http://cds.cern.ch/record/2647423

Ejemplares similares