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

Proceedings of the 18th 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/17/16
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 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
Vydáno: (2013)

Proceedings of the 18th Eurographics conference on Rendering Techniques

Java Programming
Autor: Pandey, Hari Mohan

Theories of Programming and Formal Methods
Vydáno: (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 /
Autor: Balagurusamy, E.
Vydáno: (2015)

Proceedings of the 18th Conference on Pattern Languages of Programs

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 18th annual conference on Computer graphics and interactive techniques

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

Proceedings of the 18th annual workshop on Microprogramming

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

Proceedings of the second workshop on Automated formal methods

Proceedings of the International Workshop on Formalization of Modeling Languages

Proceedings of the 18th European Conference on Pattern Languages of Program

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)