Ebooks de Tiziana Margaria en PDF et EPUB

2 Livre(s)
Télécharger le livre : Formal Methods for Industrial Critical Systems
Ajouter à ma liste d'envies
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écharger le livre : Semantic Web Services Challenge
Ajouter à ma liste d'envies
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 €