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

Bibliografiset tiedot
Aineistotyyppi:	Elektroninen Kirja
Kieli:	English
Julkaistu:	Association for Computing Machinery (ACM), 7/6/09
Aiheet:	Conference papers and proceedings.
Linkit:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Samankaltaisia teoksia

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

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

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

Java Programming
Tekijä: Pandey, Hari Mohan

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

Theories of Programming and Formal Methods
Julkaistu: (2013)

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

Programming with JAVA : a primer /
Tekijä: Balagurusamy, E.
Julkaistu: (2015)

Proceedings of the International Workshop on Formalization of Modeling Languages

Lessons in Likeness
Tekijä: Miles

Happy Like This
Tekijä: Wurzbacher

Like No Other
Tekijä: McNally

Like Clockwork
Tekijä: Bowser

As you like it /
Tekijä: Shakespeare, William, 1564-1616
Julkaistu: (1975)

As you like it /
Julkaistu: (2010)

As you like it /
Tekijä: Shakespeare, William
Julkaistu: (2014)

Real-Time Java Programming: With Java RTS
Tekijä: Bruno; Bollella

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering

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

Proceedings of the second workshop on Automated formal methods

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

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

Proceedings of the 6th international symposium on Principles and practice of programming in Java

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