Blanchette, Jasmin.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
C++ GUI programming with Qt 4 /
by:
Summerfield, Mark.; Blanchette, Jasmin.
(Language materials, printed)
C++ GUI programming with Qt 4 /
by:
Summerfield, Mark.; Blanchette, Jasmin.
(Language materials, printed)
Automated reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
IJCAR (Conference) (2022 :); Blanchette, Jasmin.; Kovacs, Laura.; Pattinson, Dirk.; SpringerLink (Online service)
(Electronic resources)
Subjects
Qt (Electronic resource)
Software Engineering.
Graphical user interfaces (Computer systems).
Automatic theorem proving
Computer logic
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
C++ (Computer program language).
Graphical user interfaces (Computer systems)
Formal Languages and Automata Theory.
Artificial Intelligence.
C++ (Computer program language)