Languages
Esparza, Javier.
Overview
| Works: | 10 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
Esparza, Javier.; Majumdar, Rupak.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Logics and languages for reliability and security
by:
Esparza, Javier.; Grumberg, Orna.; Spanfelner, Bernd.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Unfoldings = A Partial-Order Approach to Model Checking /
by:
SpringerLink (Online service); Esparza, Javier.; Heljanko, Keijo.
(Electronic resources)
Subjects
Software Engineering.
Computer Science
System design
Artificial Intelligence (incl. Robotics)
Computer logic
Computer security
Computer Communication Networks.
Theory of Computation.
Operating systems (Computers)
Computer systems- Reliability
Programming Techniques.
Computer Science.
System analysis
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.