Languages
Abadi, Martin.
Overview
| Works: | 206 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Abadi, Martin.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(Electronic resources)
Principles of security and trust = Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
Abadi, Martin.; Kremer, Steve.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computer software = Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings /
by:
Abadi, Martin.; Ito Takayasu.; SpringerLink (Online service); TACS '97 ((1997 :)
(Language materials, printed)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
Abadi, Martin.; De Alfaro, Luca.; SpringerLink (Online service); International Conference on Concurrency Theory (2005 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software- Validation
Multitasking (Computer science)
Parallel processing (Electronic computers)- Congresses.
Computation by Abstract Devices.
Programming Techniques.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer networks- Security measures
Computer software- Congresses.
Computer security
Data Encryption.
Computer Science.
Computer Communication Networks.
Computer software- Verification
Systems and Data Security.
Computer Systems Organization and Communication Networks.
e-Commerce/e-business.