Gary T. Leavens
Identifiers
- Open LibraryOL7580459A
Top Subjects
- Computer software (1)
- Programming Languages, Compilers, Interpreters (1)
- Logics and Meanings of Programs (1)
- Computer science (1)
- Programming Techniques (1)
- Logic design (1)
- Simulation and Modeling (1)
Books by Gary T. Leavens
Total count: 14
-
Verified Software : Theories, Tools, ExperimentsThird International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, ProceedingsSpringer London, Limited2010-01-01
-
Foundations of Component-Based SystemsCambridge University Press2011-01-01
-
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and ApplicationsAssociation for Computing Machinery2012-01-01
-
XDD'12Association for Computing Machinery2012-01-01
Transactions on Aspect-Oriented Software Development IXSpringer Berlin Heidelberg2012-01-01-
Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and SoftwareAssociation for Computing Machinery2012-01-01
-
Proceedings of the 3rd Annual Conference on Systems, Programming, and ApplicationsSoftware for HumanityAssociation for Computing Machinery2012-01-01
-
Rpg'12Association for Computing Machinery2012-01-01
-
Neo4j'12A Programmatic Introduction to Neo4jAssociation for Computing Machinery2012-01-01
-
Fool'1219th International Workshop on Foundations of Object-Oriented LanguagesAssociation for Computing Machinery2012-01-01
-
Dci'12Data-Context-Interaction Paradigm WorkshopAssociation for Computing Machinery2012-01-01
-
SPLASH'12Proceedings of the 2012 ACM Conference on Systems, Programming and Applications - Software for HumanityAssociation for Computing Machinery2012-01-01
-
Transactions on Aspect-Oriented Software Development XSpringer London, Limited2013-01-01
-
Proceedings of the Modularity'15 Workshop on Foundations of Aspect-Oriented LanguagesAssociation for Computing Machinery2015-01-01