Formal Methods for Industrial Critical Systems

Tiziana Margaria , Stefania Gnesi

Balances leading edge material, established practice, and reviews of historically important contributions Collects timely, current articles written by a truly international group of authors Describes case studies from many kinds of high-integrity systems development Emphasizes model checking, an important step in several types of formal methods.
  • Limba : Engleza
  • Data Publicarii : 12 Mar 2013
  • Format : Paperback
  • Numar pagini : 292
  • ISBN : 9780470876183
322.99 Lei
Livrare in 4-6 saptamani

Acest produs este disponibil in stocul furnizorilor si poate fi livrat in 4-6 saptamani