<--- Back to Details
First PageDocument Content
Software engineering / Logic in computer science / Programming paradigms / Association for Computing Machinery / Models of computation / Automata theory / SIGNAL / Formal verification / Programming language / Formal methods / Computing / Theoretical computer science
Date: 2012-06-28 12:52:25
Software engineering
Logic in computer science
Programming paradigms
Association for Computing Machinery
Models of computation
Automata theory
SIGNAL
Formal verification
Programming language
Formal methods
Computing
Theoretical computer science

Add to Reading List

Source URL: ti.tuwien.ac.at

Download Document from Source Website

File Size: 127,14 KB

Share Document on Facebook

Similar Documents

LATEX Class for the Association for Computing Machinery ∗ Boris Veytsman† , v1.54 Abstract

DocID: 1v9LM - View Document

Association for Computing Machinery Advancing Computing as a Science & Profession Statewide Databases of Registered Voters: Study Of Accuracy, Privacy, Usability, Security, and Reliability Issues commissioned by the U.S.

DocID: 1uwU1 - View Document

Author’s Guide to the ACM SIGPLAN Class (sigplanconf.cls) Association for Computing Machinery SIGPLAN

DocID: 1urYg - View Document

The SIGSPATIAL Special Newsletter of the Association for Computing Machinery Special Interest Group on Spatial Information Editorial Highlights from ACM SIGSPATIAL GIS 2012 IWCTS 2012 Workshop Report

DocID: 1ucNN - View Document

The SIGSPATIAL Special Newsletter of the Association for Computing Machinery Special Interest Group on Spatial Information Volume 6

DocID: 1ua91 - View Document