Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Auteur(s) : Spivey, J. Mike
Titre(s) : Understanding Z [Texte imprimé] : a specification language and its formal semantics / J.M. Spivey,...
Publication : Cambridge : Cambridge university press, 2008
Description matérielle : 1 vol. (VIII-131 p.) ; 25 cm
Collection : Cambridge tracts in theoretical computer ; 3
Lien à la collection : Cambridge tracts in theoretical computer science
Comprend : Fundamental properties of invariant subspaces and applications ; Invariant subspaces : definition, examples, and first properties ; Jordan form and invariant subspaces ; Coinvariant and semiinvariant subspaces ; Jordan form for extensions and completions ; Applications to matrix polynomials ; Invariant subspaces for transformations between different spaces ; Rational matrix functions ; Linear systems ; Algebraic properties of invariant subspaces ; Commuting matrices and hyperinvariant subspaces ; Description of invariant subspaces and linear transformations with the same invariant subspaces ; Algebras of matrices and invariant subspaces ; Real linear transformations ; Topological properties of invariant subspaces and stability ; The metric space of subspaces ; The metric space of invariant subspaces ; Continuity and stability of invariant subspaces ; Perturbations of lattices of invariant subspaces with restrictions on the Jordan structure ; Applications ; Analytic properties of invariant subspaces ; Analytic families of subspaces ; Jordan form of analytic matrix functions ; Applications ; Equivalence of matrix polynomials.
Note(s) : Bibliogr. p. 119-122
Sujet(s) : Z (méthode formelle)
Langages de programmation -- Sémantique
Indice(s) Dewey : 005.133 (23e éd.) = Langages de programmation particuliers [Z]
Identifiants, prix et caractéristiques : ISBN 978-0-521-05414-0 (br.)
Identifiant de la notice : ark:/12148/cb41240748q
Notice n° :
FRBNF41240748
(notice reprise d'un réservoir extérieur)
