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

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Author :
Publisher :
Total Pages : 85
Release :
ISBN-10 : 1450308937
ISBN-13 : 9781450308939
Rating : 4/5 (939 Downloads)

Book Synopsis Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs by : Stephen Freund

Download or read book Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs written by Stephen Freund and published by . This book was released on 2011-07-25 with total page 85 pages. Available in PDF, EPUB and Kindle. Book excerpt: ECOOP '11: European Conference on Object-Oriented Programming Jul 25, 2011-Jul 29, 2011 Lancaster, United Kingdom. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.


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

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Language: en
Pages: 85
Authors: Stephen Freund
Categories: Computer science
Type: BOOK - Published: 2011-07-25 - Publisher:

DOWNLOAD EBOOK

ECOOP '11: European Conference on Object-Oriented Programming Jul 25, 2011-Jul 29, 2011 Lancaster, United Kingdom. You can view more information about this proc
FTfJP '13
Language: en
Pages:
Authors:
Categories: Computer software
Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
Language: en
Pages: 52
Authors: Association for Computing Machinery
Categories: Computer science
Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK

FM 2005: Formal Methods
Language: en
Pages: 570
Authors: John Fitzgerald
Categories: Computers
Type: BOOK - Published: 2005-07-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005
Compiler Construction
Language: en
Pages: 258
Authors: Björn Franke
Categories: Computers
Type: BOOK - Published: 2015-03-31 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on