Fwd: New book on Applied Logic for CS - with PVS

[Joao Marcos]

Mauricio e Flavio acabam de lançar um novo livro sobre Lógica
Computacional que será certamente de interesse para muitos membros
desta lista!

Vale recordar, em particular, que Mauricio apresentou um curso muito
bem sucedido sobre raciocínio formal usando PVS no NAT@Logic, há um
ano e meio:
https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/trs#PVS

Joao Marcos


---------- Forwarded message ----------
From: Mauricio Ayala-Rincon

Dear Friends,

this message only to announce the publication of our book
on computational logic (using PVS):

http://www.springer.com/gb/book/9783319516516#aboutBook


Bests,

Mauricio.

--

Mauricio Ayala-Rincón
Full Professor - Depts. C. Computação & Matemática
Universidade de Brasília
www.mat.unb.br/~ayala e-mail: ay...@unb.br