Languages
Esparza, Javier.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings /
by:
(1998 :); Chen, Yu-Fang.; Cheng, Chih-Hong.; Esparza, Javier.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems16th 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:
(1998 :); Esparza, Javier.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
by:
(1998 :); Esparza, Javier.; SpringerLink (Online service)
(Electronic resources)
UnfoldingsA Partial-Order Approach to Model Checking /
by:
Esparza, Javier.; Heljanko, Keijo.; SpringerLink (Online service)
(Electronic resources)
Logics and languages for reliability and security
by:
(1998 :); Esparza, Javier.; Grumberg, Orna.; Spanfelner, Bernd.
(Electronic resources)
Application and theory of petri nets 200223rd International Conference, ICATPN 2002, Adelaide, Australia, June, 24-30, 2002 : proceedings /
by:
(1998 :); Esparza, Javier.; Lakos, Charles.; SpringerLink (Online service)
(Electronic resources)
Foundations of Software Science and Computation Structures20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
(1998 :); Esparza, Javier.; Murawski, Andrzej S.; SpringerLink (Online service)
(Electronic resources)
Subjects
Operating systems (Computers)
Software Engineering.
Theory of Computation.
Software engineering
Mathematical Logic and Formal Languages.
Artificial intelligence
Logics and Meanings of Programs.
Machine theory
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Petri nets
Computer systems
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Computer software
Automatic theorem proving
System design
Programming Languages, Compilers, Interpreters.
Computer Science
Computer logic
Programming languages (Electronic computers)
Computer programming
Information Storage and Retrieval.
Computer security
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
System analysis