My Account Log in

1 option

FTfJP 2017 : proceedings of the 19th Workshop on Formal Techniques for Java-like Programs : Barcelona, Italy, June 20th, 2017 / in-cooperations, SIGPLAN, AITO.

ACM Digital Library Available online

View online
Format:
Book
Contributor:
ACM Special Interest Group on Programming Languages, sponsoring body.
Association internationale pour les technologies objets, sponsoring body.
Series:
ACM Other conferences
Language:
English
Subjects (All):
Java (Computer program language)--Congresses.
Java (Computer program language).
Programming languages (Electronic computers)--Congresses.
Programming languages (Electronic computers).
Computer software--Development--Congresses.
Computer software.
Physical Description:
1 online resource (49 pages)
Other Title:
Formal Techniques for Java-like Programs 2017
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs
Place of Publication:
New York : ACM, 2017.
Notes:
Description based on: online resource; title from pdf title page (ACM Digital Library, viewed August 17, 2018).

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account