All ebooks by Tiziana Margaria in PDF and EPUB
Readzis program recommandation

All ebooks by Tiziana Margaria in PDF and EPUB


2  Book(s)
Download this eBook Formal Methods for Industrial Critical Systems
Add to my wish list

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...

Publication date: 2012-11-27
Format: PDF, ePub
Publisher: Wiley-IEEE Computer Society Pr
Add to basket
£86,46
Download this eBook Semantic Web Services Challenge
Add to my wish list

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,...

Publication date: 2008-11-27
Format: PDF
Publisher: Springer
Collection: Semantic Web and Beyond
Add to basket
£129,50

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved