語系
Esparza, Javier.
概要
| 作品: | 10 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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:)
(書目-電子資源)
Logics and languages for reliability and security
by:
Esparza, Javier.; Grumberg, Orna.; Spanfelner, Bernd.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Unfoldings = A Partial-Order Approach to Model Checking /
by:
SpringerLink (Online service); Esparza, Javier.; Heljanko, Keijo.
(書目-電子資源)
主題
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.