Refine your search
Availability
-
Authors
- Albert, Elvira
- Castagna, Giuseppe
- Felleisen, Matthias
- Fontaine, Pascal
- Galmiche, Didier
- Gorp, Pieter Van
- Hierons, Robert M.
- Legay, Axel
- Logozzo, Francesco
- Lämmel, Ralf
- Middeldorp, Aart
- Păsăreanu, Corina S.
- Qadeer, Shaz
- Ringeissen, Christop...
- Rungta, Neha
- Sagonas, Kostis
- Veanes, Margus
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Artificial Intellige...
- Computer communicati...
- Computer Communicati...
- Computer logic
- Computer programming
- Computer science
- Computer Science
- Computers
- Logics and Meanings ...
- Mathematical logic
- Mathematical Logic a...
- Models and Principle...
- Programming Language...
- Programming language...
- Programming Techniqu...
- Software engineering
- Show more
- Show less