Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Title Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs [electronic resource] / program chair Werner Dietl ; sponsor Association Internationale pour les Technologies Objets ; in cooperations with ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Software Engineering.
Publication Info New York : ACM, 2013.


Subject Java (Computer program language) -- Congresses.
Computer software -- Development -- Congresses.
Formal methods (Computer science) -- Congresses.
Programming languages (Electronic computers) -- Congresses.
Descript 1 online resource (52 pages)
Alt author Association internationale pour les technologies objets.
ACM Special Interest Group on Programming Languages.
ACM Sigsoft.
Dietl, Werner.
ISBN 9781450320429 (print)

Links and services for this item: