12th workshop on formal techniques for java-like programs 2010 : (FTfJP 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010.

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: 9781617826207
Title: 12th workshop on formal techniques for java-like programs 2010 : (FTfJP 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010.
Author Heading: Piessens, F. (Frank)
Jacobs, Bart.
International Workshop on Formal Techniques for Java-Like Programs (12th : 2010 : Maribor, Slovenia)
ECOOP 2010 (2010 : Maribor, Slovenia)
Publication, Distribution, etc.: New York : Association for Computing Machinery
Publication Date: c2010.
Publication Date (W3CDTF): 2010
Extent: 63 p. : ill. ; 27 cm.
Additional Title: 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.
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-11-2730
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011207014
http://id.ndl.go.jp/bib/000011207014
OCLC No.: 713121277
https://www.worldcat.org/oclc/713121277
Bibliographic Record Category (NDL): 215