Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) by Markus Roggenbach Antonio Cerone Bernd-Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh
Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh , Date: July 6, 2022
,Views: 26
Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Language: en
Format: pdf
Publisher: Springer, Year
Download
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Categories
Popular ebooks
The Black Swan by Nassim Nicholas Taleb(6733)Modelling of Convective Heat and Mass Transfer in Rotating Flows by Igor V. Shevchuk(6214)
Weapons of Math Destruction by Cathy O'Neil(5802)
Factfulness: Ten Reasons We're Wrong About the World – and Why Things Are Better Than You Think by Hans Rosling(4473)
Descartes' Error by Antonio Damasio(3152)
A Mind For Numbers: How to Excel at Math and Science (Even If You Flunked Algebra) by Barbara Oakley(3092)
Factfulness_Ten Reasons We're Wrong About the World_and Why Things Are Better Than You Think by Hans Rosling(3036)
TCP IP by Todd Lammle(2995)
Applied Predictive Modeling by Max Kuhn & Kjell Johnson(2888)
Fooled by Randomness: The Hidden Role of Chance in Life and in the Markets by Nassim Nicholas Taleb(2845)
The Tyranny of Metrics by Jerry Z. Muller(2827)
The Book of Numbers by Peter Bentley(2757)
The Great Unknown by Marcus du Sautoy(2522)
Once Upon an Algorithm by Martin Erwig(2466)
Easy Algebra Step-by-Step by Sandra Luna McCune(2447)
Lady Luck by Kristen Ashley(2394)
Practical Guide To Principal Component Methods in R (Multivariate Analysis Book 2) by Alboukadel Kassambara(2368)
Police Exams Prep 2018-2019 by Kaplan Test Prep(2341)
All Things Reconsidered by Bill Thompson III(2249)
Linear Time-Invariant Systems, Behaviors and Modules by Ulrich Oberst & Martin Scheicher & Ingrid Scheicher(2219)
