Formal Reasoning About Programs

Thinking Programs:
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
English | 2021 | ISBN: 3030805069 | 660 Pages | PDF EPUB | 95 MB

Algebraic Semantics of Imperative Programs By Joseph A. Goguen, Grant Malcolm
1996 | 228 Pages | ISBN: 026207172X | DJVU | 2 MB

Michael Wooldridge, "Reasoning about Rational Agents"
2000 | pages: 232 | ISBN: 0262232138 | DJVU | 1,4 mb

Dynamic logic By David Harel, Dexter Kozen, Jerzy Tiuryn
2000 | 476 Pages | ISBN: 0262082896 | PDF | 3 MB

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures … / Programming and Software Engineering) By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
2005 | 334 Pages | ISBN: 3540291318 | PDF | 4 MB

Practical Foundations for Programming Languages by Robert Harper
English | 2016 | ISBN: 1107150302 | 512 Pages | PDF (true) | 5.95 MB

Practical Foundations for Programming Languages by Robert Harper
English | April 4, 2016 | ISBN: 1107150302 | 512 pages | AZW3 | 17 Mb

Robert Harper, "Practical Foundations for Programming Languages Ed 2"
English | ISBN: 1107150302 | 2016 | 512 pages | EPUB | 14 MB

Robert Harper, "Practical Foundations for Programming Languages Ed 2"
English | ISBN: 1107150302 | 2016 | 512 pages | AZW3 | 18 MB

Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 By Turner, David Neil (eds.)
1996 | 9 Pages | ISBN: 354014580X | PDF | 1 MB