Formal Methods in Software Engineering

Formal Methods in Software Engineering

Aristides Dasso (Universidad Nacional de San Luis, Argentina) and Ana Funes (Universidad Nacional de San Luis, Argentina)
DOI: 10.4018/978-1-59140-553-5.ch213
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

As a general rule, all engineering applications use mathematics or mathematical tools as a basis for their development. However, software engineering is an exception to this rule.

Complete Chapter List

Search this Book:
Reset