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

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

Podrobná bibliografie
Médium:	Elektronický zdroj Kniha
Jazyk:	English
Vydáno:	Association for Computing Machinery (ACM), 7/25/11
Témata:	Conference papers and proceedings.
On-line přístup:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Podobné jednotky

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 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
Vydáno: (2013)

Java Programming
Autor: Pandey, Hari Mohan

Theories of Programming and Formal Methods
Vydáno: (2013)

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

Programming with JAVA : a primer /
Autor: Balagurusamy, E.
Vydáno: (2015)

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security

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

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

Lessons in Likeness
Autor: Miles

Happy Like This
Autor: Wurzbacher

Like No Other
Autor: McNally

Like Clockwork
Autor: Bowser

As you like it /
Autor: Shakespeare, William, 1564-1616
Vydáno: (1975)

As you like it /
Vydáno: (2010)

As you like it /
Autor: Shakespeare, William
Vydáno: (2014)

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools

Introduction to Java programming : comprehensive version /
Autor: Liang, Y. Daniel
Vydáno: (2013)

Introduction to programming in Java : an interdisciplinary approach /
Autor: Sedgewick, Robert, 1946-
Vydáno: (2008)

Introduction to Java programming : comprehensive version /
Autor: Liang, Y. Daniel
Vydáno: (2010)

Introduction to JAVA programming : brief verison /
Autor: Liang, Y. Daniel
Vydáno: (2019)

Introduction to programming in Java : an interdisciplinary approach /
Autor: Sedgewick, Robert, 1946-
Vydáno: (2017)

Social Programs and Formal Employment : Evidence from the Brazilian Bolsa Familia Program /
Autor: Fruttero, Anna
Vydáno: (2020)

Proceedings of the Principles and Practices of Programming on The Java Platform

An Introduction to Network Programming with Java
Autor: Graba
Vydáno: (2013)

JAVA Programming, 1/e
Autor: Rajkumar, K.

Introduction to Java Programming, Comprehensive
Autor: Liang, Y. Daniel