Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

Bibliografske podrobnosti
Format:	Elektronski Knjiga
Jezik:	English
Izdano:	Association for Computing Machinery (ACM), 6/12/12
Teme:	Conference papers and proceedings.
Online dostop:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Podobne knjige/članki

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs

Formal Techniques for Distributed Systems
Izdano: (2013)

Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design

Java Programming
od: Pandey, Hari Mohan

Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems

Theories of Programming and Formal Methods
Izdano: (2013)

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Programming with JAVA : a primer /
od: Balagurusamy, E.
Izdano: (2015)

Lessons in Likeness
od: Miles

Happy Like This
od: Wurzbacher

Like No Other
od: McNally

Like Clockwork
od: Bowser

As you like it /
od: Shakespeare, William, 1564-1616
Izdano: (1975)

As you like it /
Izdano: (2010)

As you like it /
od: Shakespeare, William
Izdano: (2014)

Real-Time Java Programming: With Java RTS
od: Bruno; Bollella

Proceedings of the 14th Conference on Pattern Languages of Programs

Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design

Social Programs and Formal Employment : Evidence from the Brazilian Bolsa Familia Program /
od: Fruttero, Anna
Izdano: (2020)

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security

Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores

Proceedings of the 14th annual conference on Computer graphics and interactive techniques

Proceedings of the second workshop on Automated formal methods

Proceedings of the International Workshop on Formalization of Modeling Languages

Proceedings of the 14th Workshop on Challenged Networks

Proceedings of the 14th annual workshop on Microprogramming

Proceedings of the 14th Eurographics workshop on Rendering