Formal Reasoning About Programs
Algebraic Semantics of Imperative Programs eBooks & eLearning
Posted by insetes at Aug. 24, 2021
Algebraic Semantics of Imperative Programs By Joseph A. Goguen, Grant Malcolm
1996 | 228 Pages | ISBN: 026207172X | DJVU | 2 MB
1996 | 228 Pages | ISBN: 026207172X | DJVU | 2 MB
Reasoning about Rational Agents (Repost) eBooks & eLearning
Posted by step778 at March 19, 2019
Michael Wooldridge, "Reasoning about Rational Agents"
2000 | pages: 232 | ISBN: 0262232138 | DJVU | 1,4 mb
2000 | pages: 232 | ISBN: 0262232138 | DJVU | 1,4 mb
Dynamic logic eBooks & eLearning
Posted by insetes at June 15, 2021
Dynamic logic By David Harel, Dexter Kozen, Jerzy Tiuryn
2000 | 476 Pages | ISBN: 0262082896 | PDF | 3 MB
2000 | 476 Pages | ISBN: 0262082896 | PDF | 3 MB
Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 1 eBooks & eLearning
Posted by insetes at Sept. 4, 2018
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
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 by Robert Harper
English | April 4, 2016 | ISBN: 1107150302 | 512 pages | AZW3 | 17 Mb
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
Robert Harper, "Practical Foundations for Programming Languages Ed 2"
English | ISBN: 1107150302 | 2016 | 512 pages | AZW3 | 18 MB
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
Robert Harper, "Practical Foundations for Programming Languages Ed 2"
English | ISBN: 1107150302 | 2016 | 512 pages | EPUB | 14 MB
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 (HD)
Duration: 12h 27m | .MP4 1280x720, 30 fps(r) | AAC, 48000 Hz, 2ch | 10.4 GB
Genre: eLearning | Language: English
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 by Engr. Michael David
English | January 31, 2021 | ISBN: N/A | ASIN: B08VCH8ZWM | 158 pages | PDF | 4.65 Mb
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
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
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