Logical approach to systems theory
Logical Approach to Systems Theory (LAST) provides the foundations for the second order treatment of system models and an effective framework for applying basic concepts in systems theory to the design of information systems. The main characteristics of LAST are: 1. type-free representation of syste...
Sparad:
| Huvudupphovsmän: | Takahashi, Shingo, Takahara, Yasuhiko, 1935- (Författare, medförfattare) |
|---|---|
| Materialtyp: | Livre numérique |
| Språk: | Anglais |
| Publicerad: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in control and information sciences
204 |
| Ämnen: | |
| Länkar: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical approach to systems theory, Shingo Takahashi and Yasuhiko Takahara, London, Springer, 1995, xi, 174 p., Lecture notes in control and information sciences, 3-540-19956-X • Logical Approach to Systems Theory, Texte imprimé, 9783662195239 |
Liknande verk
-
Abstract systems theory
(Livre numérique)
Takahara, Yasuhiko, 1935-, et al. -
A logical introduction to proof
(Livre numérique)
Cunningham, Daniel W. - Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 28, 1996 : proceedings (Livre numérique)
-
Model theory
(Livre papier)
Chang, Chen Chung, 1927-2014, et al.
North-Holland ; American Elsevier, 1973 -
Proof Theory : An Introduction
(Livre numérique)
Pohlers, Wolfram

