11th international workshop on formal techniques for java-like programs 2009 : (FTfJP 09) : held at ECOOP 2009 : Genova, Italy : 6 July 2009. : Jul 2009, Genova, Italy.

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 9781617382338
Title: 11th international workshop on formal techniques for java-like programs 2009 : (FTfJP 09) : held at ECOOP 2009 : Genova, Italy : 6 July 2009. : Jul 2009, Genova, Italy.
Author Heading: Banerjee, Anindya.
International Workshop on Formal Techniques for Java-like Programs (11th : 2009 : Genoa, Italy)
Publication, Distribution, etc.: New York : ACM
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: 62 p. : ill. ; 28 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer software -- Development -- Congresses.
Java (Computer program language) -- Congresses.
Formal methods (Computer science) -- Congresses.
Programming languages (Electronic computers) -- Congresses.
NDLC: M17
Note (General): Papers.
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: M17-10-3254
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010917072
http://id.ndl.go.jp/bib/000010917072
OCLC No.: 611709604
https://www.worldcat.org/oclc/611709604
Bibliographic Record Category (NDL): 215