Andere Kunden interessierten sich auch für
![New Paradigms in Computer Aided Verification]( "New Paradigms in Computer Aided Verification")
New Paradigms in Computer Aided Verification155,99 €![Computer Aided Verification: Techniques and Applications]( "Computer Aided Verification: Techniques and Applications")
Computer Aided Verification: Techniques and Applications150,99 €![Linear Networks and Systems: Algorithms and Computer-Aided Implementations (2nd Edition) (in 2 Volumes)]( "Linear Networks and Systems: Algorithms and Computer-Aided Implementations (2nd Edition) (in 2 Volumes)")
Linear Networks and Systems: Algorithms and Computer-Aided Implementations (2nd Edition) (in 2 Volumes)103,99 €![Computer Aided Systems Theory - EUROCAST '93]( "Computer Aided Systems Theory - EUROCAST '93")
Computer Aided Systems Theory - EUROCAST '9340,99 €![ADV IN ARTIFICIAL INTELLIGENCE FOR..(V1)]( "ADV IN ARTIFICIAL INTELLIGENCE FOR..(V1)")
ADV IN ARTIFICIAL INTELLIGENCE FOR..(V1)136,99 €![Computer-Aided Cooperative Product Development]( "Computer-Aided Cooperative Product Development")
Computer-Aided Cooperative Product Development79,99 €![Version Control and Management in Computer-aided Design Databases]( "Version Control and Management in Computer-aided Design Databases")
Version Control and Management in Computer-aided Design Databases91,99 €
This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing.