Data de publicação - 19 de julho de 2002 apresentada no nosso site. Você pode encontrar livros de diferentes gêneros publicados em 19 de julho de 2002.
Gêneros
Autores
Idiomas
Datas de publicação
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers