Formal Methods and Models for System Design
Subtitle: A System Level Perspective (The Kluwer International Series in Video Computing)
Contributors: Rajesh Gupta (Editor); Paul Le Guernic (Editor); Sandeep K. Shukla (Editor); Jean-Pierre Talpin (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 1, 2004
Language: eng
Format: Hardcover
Number of pages: 374
ISBN-13: 9781402080517
Subjects: Systems analysis & design; Programming - Systems Analysis & Design; Automation; Technology; Technology & Industrial Arts; Science/Mathematics; Operating Systems - General; Technology / Electronics / Circuits / General; Mathematical models; System design
First sentence: Software development is today one of the most complex and powerful tasks in engineering.