an Introduction to Formal Methods
Rigorous Software Development: An Introduction to Program Verification (Repost) eBooks & eLearning
Posted by AvaxGenius at July 6, 2020
Rigorous Software Development: An Introduction to Program Verification by José Bacelar Almeida
English | PDF | 2011 | 269 Pages | ISBN : 0857290177 | 2.95 MB
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software.
Introduction to Software Quality eBooks & eLearning
Posted by AvaxGenius at Dec. 12, 2017
Introduction to Software Quality By Gerard O’Regan
English | PDF(Repost),EPUB | 2014 | 369 Pages | ISBN : 3319061054 | 12.18 MB
This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process improvement are discussed in detail, with a particular focus on the CMMI framework.
Introduction to Formal Philosophy eBooks & eLearning
Posted by IrGens at Dec. 31, 2021
Introduction to Formal Philosophy (Springer Undergraduate Texts in Philosophy) edited by Vincent F. Hendricks, Sven Ove Hansson
English | November 8, 2018 | ISBN: 3319774336, 303008454X | True EPUB | 753 pages | 10.3 MB
English | November 8, 2018 | ISBN: 3319774336, 303008454X | True EPUB | 753 pages | 10.3 MB
Introduction to Formal Philosophy (Springer Undergraduate Texts in Philosophy) eBooks & eLearning
Posted by sasha82 at March 14, 2019
Introduction to Formal Philosophy (Springer Undergraduate Texts in Philosophy) by Sven Ove Hansson , Vincent F. Hendricks
2018 | ISBN: 3319774336, 303008454X | English | 733 pages | PDF | 9 MB
2018 | ISBN: 3319774336, 303008454X | English | 733 pages | PDF | 9 MB
Introduction to Formal Philosophy (Repost) eBooks & eLearning
Posted by step778 at Oct. 26, 2020
Sven Ove Hansson, Vincent F. Hendricks, Esther Michelsen Kjeldahl, "Introduction to Formal Philosophy"
English | 2018 | pages: 727 | ISBN: 303008454X | PDF | 9,3 mb
English | 2018 | pages: 727 | ISBN: 303008454X | PDF | 9,3 mb
An Introduction to the Theory of Formal Languages and Automata eBooks & eLearning
Posted by DZ123 at April 11, 2019
Willem J.M. Levelt, "An Introduction to the Theory of Formal Languages and Automata"
English | 2008 | ISBN: 9027232504 | PDF | pages: 152 | 2.3 mb
English | 2008 | ISBN: 9027232504 | PDF | pages: 152 | 2.3 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
A Critical Introduction to Formal Epistemology eBooks & eLearning
Posted by DZ123 at Oct. 22, 2020
Darren Bradley, "A Critical Introduction to Formal Epistemology"
English | 2015 | ISBN: 1780937148 | PDF | pages: 241 | 4.6 mb
English | 2015 | ISBN: 1780937148 | PDF | pages: 241 | 4.6 mb
An Introduction to Interaction: Understanding Talk in Formal and Informal Settings (repost) eBooks & eLearning
Posted by libr at April 25, 2017
An Introduction to Interaction: Understanding Talk in Formal and Informal Settings by Angela Cora Garcia
English | 2013 | ISBN: 1441157611 , 1441127682 | 368 pages | PDF | 3 MB
English | 2013 | ISBN: 1441157611 , 1441127682 | 368 pages | PDF | 3 MB
An Introduction to Empirical Legal Research (repost) eBooks & eLearning
Posted by interes at Feb. 13, 2019
An Introduction to Empirical Legal Research by Lee Epstein and Andrew D. Martin
English | 2014 | ISBN: 0199669058, 0199669066 | 352 pages | EPUB | 2,4 MB
English | 2014 | ISBN: 0199669058, 0199669066 | 352 pages | EPUB | 2,4 MB