Formal Reasoning About Programs

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

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

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

TTC - An Introduction to Formal Logic  eBooks & eLearning

Posted by lucky_aut at May 6, 2021
TTC - An Introduction to Formal Logic

TTC - An Introduction to Formal Logic (HD)
Duration: 12h 27m | .MP4 1280x720, 30 fps(r) | AAC, 48000 Hz, 2ch | 10.4 GB
Genre: eLearning | Language: English

Flawed, misleading, and false arguments are everywhere. From advertisers trying to separate you from your money, to politicians trying to sway your vote, to friends who want you to agree with them, your belief structure is constantly under attack.

Static Program Analysis: Statistics for Dummies  eBooks & eLearning

Posted by TiranaDok at Feb. 5, 2021
Static Program Analysis: Statistics for Dummies

Static Program Analysis: Statistics for Dummies by Engr. Michael David
English | January 31, 2021 | ISBN: N/A | ASIN: B08VCH8ZWM | 158 pages | PDF | 4.65 Mb

Formal Methods for Software Engineering: Languages, Methods, Application Domains  eBooks & eLearning

Posted by yoyoloit at June 24, 2022
Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering
by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

English | 2022 | ISBN: ‎ 3030387992 | 537 pages | True PDF EPUB | 39.91 MB