Biere, Armin.
概要
| 作品: | 4 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
by:
Biere, Armin.; Bloem, Roderick.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.. Part II /
by:
TACAS (Conference) (2020 :); Biere, Armin.; Parker, David.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.. Part I /
by:
TACAS (Conference) (2020 :); Biere, Armin.; Parker, David.; SpringerLink (Online service); ETAPS (Conference) (2020 :)
(書目-電子資源)
主題
Propositional calculus
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Computer algorithms
Algebra, Boolean
Computer algorithms- Congresses.
Control Structures and Microprogramming.
Decision making- Congresses.
System design
Special Purpose and Application-Based Systems.
Decision making
Computer software- Verification
Computer Science.
Computer Systems Organization and Communication Networks.
Computer System Implementation.
System analysis