Tous les livres numériques de Tiziana Margaria en PDF et EPUB

2 Livre(s)
Télécharger le livre : Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Stefania Gnesi , Tiziana Margaria
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their...

Editeur : Wiley-IEEE Computer Society Pr
Parution : 2012-11-27
PDF, ePub

97,01 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Semantic Web Services Challenge
Semantic Web Services Challenge
Holger Lausen , Tiziana Margaria , Charles J. Petrie , Michal Zaremba
Service-Oriented Computing is one of the most promising software engineering trends for future distributed systems. Currently there are many different approaches to semantic web service descriptions and many frameworks built around them. Yet a common understanding,...

Editeur : Springer
Parution : 2008-11-27
Collection : Semantic Web and Beyond PDF

147,69 €
Téléchargement immédiat
Dès validation de votre commande