Jump to ratings and reviews
Rate this book

Design of Systems on a Chip: Design and Test

Rate this book
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

248 pages, Paperback

Published August 25, 2008

1 person want to read

About the author

Ricardo Reis

86 books35 followers
A heteronym of Fernando Pessoa.

"Around 1912, if I’m not mistaken (not greatly anyway), the idea came to me to write poems of a pagan nature. So I scribbled something down in irregular verse (different to the style of Álvaro de Campos, more irregular), and abandoned the idea. It was a badly woven twilight, a blurred portrait of the person who was composing it. (I hadn’t realized it yet, but that was when Ricardo Reis was born)."
Fernando Pessoa writes in his letter dated Janeiro 13th 1935 to Adolfo Casais Monteiro, that Ricardo Reis was born in 1887 (although he couldn’t recall the exact date), in Oporto. He describes him as shorter, stronger and stiffer than Caeiro, besides being clean shaven. He had had a Jesuit school education, was a doctor and had lived in Brazil since 1919, from where he had been self-expatriated for being a supporter of the monarchy. He had Latin and semi-Hellenic instruction.
Fernando Pessoa admits he conferred to this heteronym and excessive purity and writing as Ricardo Reis mentions he "followed an abstract deliberation which immediately took the shape of an ode".

Source: Fernando Pessoa's Letter to Adolfo Casais Monteiro, January 13th 1935, in Correspondência 1923-1935, ed. Manuela Parreira da Silva, Lisbon Assírio & Alvim, 1999.

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
0 (0%)
4 stars
0 (0%)
3 stars
0 (0%)
2 stars
0 (0%)
1 star
0 (0%)
No one has reviewed this book yet.

Can't find what you're looking for?

Get help and learn more about the design.