Computer aided systems theory - EUROCAST'99 : ; proceedings a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Coauteur: International Workshop on Computer Aided Systems Theory :Vienne
Andere auteurs: Pichler, Franz, 1936- (Publishing director), Moreno-Diaz, Roberto, 1939- (Publishing director), Kopacek, Peter (Publishing director)
Formaat: Livre numérique
Taal:Anglais
Gepubliceerd in: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Reeks:Lecture notes in computer science 1798
Onderwerpen:
Online toegang:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Opmerking: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Computer aided systems theory - EUROCAST'99, a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999, Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.), 2000, Berlin, Springer, 1 vol. (X-602 p.), Lecture notes in computer science, 3-540-67822-0
• Computer Aided Systems Theory - EUROCAST'99, Texte imprimé, 9783662181126

Internet

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL