Tiziana Margaria

Best Selling

icon Subscribe to feed

Browse

Best Selling

New Releases

 

Contributor

Delete Tiziana Margaria

 

Non-Fiction

Computers (1)

 

Price

All (1)

Free (0)

Below $5 (0)

Below $10 (0)

Below $15 (0)

Delete Price range

From :
To :
OK

 

Protection

All (1)

DRM Free (0)

DRM (1)

 

Language

English (1)

French (0)

German (0)

Spanish (0)

Italian (0)

More options

Formal Methods for Industrial Critical Systems: A Survey of Applications

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