Software Specification

A Comparison Of Formal Methods

by Marvin V. Zelkowitz, John D. Gannon e Jim Purtilo
language: english
Publisher: INTELLECT BOOKS, May of 1995 ‧
32,38€
22,67€
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.

Software Specification

A Comparison Of Formal Methods

by Marvin V. Zelkowitz, John D. Gannon e Jim Purtilo

Property Description
ISBN: 9781567500349
Publisher: INTELLECT BOOKS
Release Date: May of 1995
Language: English
Cover: Softcover
Pages: 200
Format: Book
Categories: Books in English > Computing > Schedule
Books in English > Others
EAN: 9781567500349