Formal Descriptions of Developing Systems /

A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several p...

Full description

Bibliographic Details
Main Author: Nation, James
Corporate Author: SpringerLink (Online service)
Other Authors: Trofimova, Irina, Rand, John D., Sulis, W. H. (William H.)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint : Springer, 2003.
Series:NATO science series. Mathematics, physics, and chemistry ; 121.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: Q174
 
Call Number Status Get It
Q174 Available