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

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

Bibliografske podrobnosti
Format:	Elektronski Knjiga
Jezik:	English
Izdano:	Association for Computing Machinery (ACM), 6/18/17
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 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 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)

Java Programming
od: Pandey, Hari Mohan

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

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

Proceedings of the second workshop on Automated formal methods

Proceedings of the International Workshop on Formalization of Modeling Languages

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

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

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

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

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

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

Proceedings of the 19th Conference on Pattern Languages of Programs

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

Proceedings of the Workshop Program of the 19th International Conference on Distributed Computing and Networking

An Introduction to Network Programming with Java
od: Graba
Izdano: (2013)