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

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

Dettagli Bibliografici
Natura:	Elettronico Libro
Lingua:	English
Pubblicazione:	Association for Computing Machinery (ACM), 7/6/09
Soggetti:	Conference papers and proceedings.
Accesso online:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Documenti analoghi

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

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 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
Pubblicazione: (2013)

Java Performance: In-Depth Advice for Tuning and Programming Java 8, 11, and Beyond
di: Scott Oaks

Java Programming
di: Pandey, Hari Mohan

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

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

Theories of Programming and Formal Methods
Pubblicazione: (2013)

Programming with JAVA : a primer /
di: Balagurusamy, E.
Pubblicazione: (2015)

Proceedings of the 11th ACM International Workshop on Context-Oriented Programming

Proceedings of the 11th Workshop on Programming Languages and Operating Systems

Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming

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

Proceedings of the International Workshop on Formalization of Modeling Languages

Lessons in Likeness
di: Miles

Happy Like This
di: Wurzbacher

Like No Other
di: McNally

Like Clockwork
di: Bowser

As you like it /
di: Shakespeare, William, 1564-1616
Pubblicazione: (1975)

As you like it /
Pubblicazione: (2010)

As you like it /
di: Shakespeare, William
Pubblicazione: (2014)

Introduction to Java programming : comprehensive version /
di: Liang, Y. Daniel
Pubblicazione: (2013)

Introduction to programming in Java : an interdisciplinary approach /
di: Sedgewick, Robert, 1946-
Pubblicazione: (2008)

Introduction to Java programming : comprehensive version /
di: Liang, Y. Daniel
Pubblicazione: (2010)

Introduction to JAVA programming : brief verison /
di: Liang, Y. Daniel
Pubblicazione: (2019)

Introduction to programming in Java : an interdisciplinary approach /
di: Sedgewick, Robert, 1946-
Pubblicazione: (2017)

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

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java