Pode ser de interesse para alguns membros desta lista. JM
---------- Forwarded message --------- Just in time for Fall courses... the Software Foundations team is pleased to announce a new release of all six titles in the SF series of formally verified textbooks on programming languages and formal reasoning about programs. http://softwarefoundations.cis.upenn.edu/ Volume 1: Logical Foundations Volume 2: Programming Language Foundations Volume 3: Verified Functional Algorithms Volume 4: QuickChick: Property-Based Testing in Coq Volume 5: Verifiable C Volume 6: Separation Logic Foundations This release is compatible with Coq 8.13 and includes improvements to notations, several new chapters in the Verifiable C volume, and many, many other additions and refinements. Enjoy! - Benjamin -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lg4dRJmLH-CYveRXYHBaG9TesDksn6B7dm6chcX4AWvBg%40mail.gmail.com.
