Formal Reasoning About Programs

Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

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  eBooks & eLearning

Posted by insetes at Aug. 24, 2021
Algebraic Semantics of Imperative Programs

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

Reasoning about Rational Agents (Repost)  eBooks & eLearning

Posted by step778 at March 19, 2019
Reasoning about Rational Agents (Repost)

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

Dynamic logic  eBooks & eLearning

Posted by insetes at June 15, 2021
Dynamic logic

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, 200

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  eBooks & eLearning

Posted by hill0 at July 16, 2018
Practical Foundations for Programming Languages

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

Practical Foundations for Programming Languages  eBooks & eLearning

Posted by AlenMiler at April 2, 2019
Practical Foundations for Programming Languages

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

Practical Foundations for Programming Languages Ed 2  eBooks & eLearning

Posted by arundhati at April 21, 2020
Practical Foundations for Programming Languages Ed 2

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

Practical Foundations for Programming Languages Ed 2  eBooks & eLearning

Posted by arundhati at June 22, 2020
Practical Foundations for Programming Languages Ed 2

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, 1

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