Título: Unifying Theories of Programming
Autor: Pedro Ribeiro
Sinopse: This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Unifying Theories of Programming”, de Pedro Ribeiro, publicado pela editora Springer Nature, em 2019 e com 217 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Springer Nature
Páginas: 217
Ano: 2019
Edição:
Linguagem: English
ISBN: 3030310388
ISBN13: 9783030310387
Sobre a editora
Os livros da editora Springer Nature oferecem uma experiência de leitura densa e técnica, voltada principalmente para públicos acadêmicos e profissionais. As obras costumam apresentar temas complexos, como modelagem matemática de doenças, análise financeira global, física experimental e avanços em tecnologia da informação, com linguagem precisa e detalhada. Muitas vezes, o ritmo é didático e estruturado, incluindo exercícios, estudos de caso e análises aprofundadas, o que favorece leitores que buscam conhecimento técnico e aplicabilidade prática. O catálogo sugere um equilíbrio entre textos mais teóricos e outros com foco em aplicações, como em negócios digitais e inovação em cadeias de suprimentos.
