Ebooks de Dines Bjørner en PDF et EPUB

3 Livre(s)
Télécharger le livre : The Structure of Pure Reason
Ajouter à ma liste d'envies
The Structure of Pure Reason
Dines Bjørner , Kai Sørlander
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

PDF, ePub

102,09 €
Télécharger le livre : Domain Science and Engineering
Ajouter à ma liste d'envies
Domain Science and Engineering
Dines Bjørner
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
PDF

163,35 €
Télécharger le livre : Logics of Specification Languages
Ajouter à ma liste d'envies
Logics of Specification Languages
Dines Bjørner , Martin C. Henson
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
PDF

142,93 €