Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy.

(Lecture Notes in Computer Science ; 7321)

Call No. (NDL): M17-13-536
Bibliographic ID of National Diet Library: 023927970

Material type: 図書

Author: International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: xii, 360 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and an abstract."iFM 2012, (...) and ABZ 2012, (...) were joined in a single event, iFM&ABZ 2012, (...)" -- foreword.

Other physical details：: ill.

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
ISBN: 9783642307294 (e-ISBN)
9783642307287
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy.
Series Title: Lecture Notes in Computer Science ; 7321
Title Heading: Lecture notes in computer science ; 7321.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)
Derrick, John, 1963-
Consiglio Nazionale delle Ricerche (CNR). Istituto di Scienze e Tecnologie dell'Informazione.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: xii, 360 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Formal methods (Computer science)--Congresses.
Software engineering--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Papers and an abstract.
"iFM 2012, (...) and ABZ 2012, (...) were joined in a single event, iFM&ABZ 2012, (...)" -- foreword.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-13-536
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023927970
http://id.ndl.go.jp/bib/023927970
OCLC No.: 801883004
https://www.worldcat.org/oclc/801883004
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215