Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
Ninth International Workshop, Expert Systems & Their Applications: General conference
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
General Conference
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 449
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 449
Book Description
Ninth International Workshop, Expert Systems & Their Applications: Specialized conference, AI telecommunications & computer systems
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
8th International Workshop, Expert Systems & Their Applications: General conference
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 660
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 660
Book Description
8th International Workshop, Expert Systems & Their Applications: General conference
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages : 660
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages : 660
Book Description
Ninth International Workshop, Expert Systems & Their Applications: Exhibition catalog
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
Tenth International Workshop, Expert Systems & Their Applications: Specialized conference, Artificial intelligence, telecommunications & computer systems
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages :
Book Description
8th International Workshop, Expert Systems & Their Applications: Specialized conferences
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 868
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 868
Book Description
8th International Workshop Expert Systems & Their Applications
Author: International Workshop Expert Systems & Their Applications
Publisher:
ISBN:
Category :
Languages : en
Pages : 862
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 862
Book Description
Correct System Design
Author: Ernst-RĂ¼diger Olderog
Publisher: Springer
ISBN: 3540480927
Category : Computers
Languages : en
Pages : 417
Book Description
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.
Publisher: Springer
ISBN: 3540480927
Category : Computers
Languages : en
Pages : 417
Book Description
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.