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

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

書目詳細資料
格式:	電子圖書
語言:	English
出版:	Association for Computing Machinery (ACM), 6/22/10
主題:	Conference papers and proceedings.
在線閱讀:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

相似書籍

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

Java Programming
由: Pandey, Hari Mohan

Theories of Programming and Formal Methods
出版: (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

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

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

Programming with JAVA : a primer /
由: Balagurusamy, E.
出版: (2015)

Lessons in Likeness
由: Miles

Happy Like This
由: Wurzbacher

Like No Other
由: McNally

Like Clockwork
由: Bowser

As you like it /
由: Shakespeare, William, 1564-1616
出版: (1975)

As you like it /
出版: (2010)

As you like it /
由: Shakespeare, William
出版: (2014)

JavaFX 1.2 : application development cookbook /
由: Vivien, Vladimir
出版: (2010)

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

Social Programs and Formal Employment : Evidence from the Brazilian Bolsa Familia Program /
由: Fruttero, Anna
出版: (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 /
由: Liang, Y. Daniel
出版: (2013)

Introduction to programming in Java : an interdisciplinary approach /
由: Sedgewick, Robert, 1946-
出版: (2008)

Introduction to Java programming : comprehensive version /
由: Liang, Y. Daniel
出版: (2010)

Introduction to JAVA programming : brief verison /
由: Liang, Y. Daniel
出版: (2019)

Introduction to programming in Java : an interdisciplinary approach /
由: Sedgewick, Robert, 1946-
出版: (2017)

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

Proceedings of the 12th International Workshop on Programming Models and Applications for Multicores and Manycores