Library Logo
Bengali Keyboard
Amazon cover image
Image from Amazon.com

Formal Methods for Industrial Critical Systems : A Survey of Applications / Stefania Gnesi, Tiziana Margaria

By: Contributor(s): Material type: TextTextPublication details: Hoboken, New Jersey John Wiley & Sons, c2013.Description: xix, 269p. : illISBN:
  • 9780470876183 ( Print)
  • 9781118459898 (Online)
DDC classification:
  • 23 004.0151
Online resources:
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes index.

There are no comments on this title.

to post a comment.


Last Updated Oct 16, 2019.
Copyright © Green University Library
Green University of Bangladesh
University Home | Library Home

Powered by Koha