3 résultat(s)
Télécharger le livre : The Structure of Pure Reason
Dines Bjørner , Kai Sørlander
The Structure of Pure Reason
This book explains how the idea of there being no ultimate, universal truth is in itself a contradictory philosophical position. Philosophers throughout history have tried to answer the question of what the deepest truth is about the world and our situation in it. They...
Editeur : Springer
Parution : 2025-02-24

Format(s) : PDF, ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Domain Science and Engineering
Dines Bjørner
Domain Science and Engineering
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements...
Editeur : Springer
Parution : 2021-11-08
Collection : Monographs in Theoretical Computer Science. An EATCS Series
Format(s) : PDF
168,79 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logics of Specification Languages
Dines Bjørner , Martin C. Henson
Logics of Specification Languages
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these...
Editeur : Springer
Parution : 2007-12-05
Collection : Monographs in Theoretical Computer Science. An EATCS Series
Format(s) : PDF
147,69 €
Téléchargement immédiat
Dès validation de votre commande