Software engineering and formal methods : 9th international conference, SEFM 2011 : Montevideo, Uruguay, November 14-18, 2011 : proceedings : Nov 2011, Montevideo, Uruguay. (Lecture Notes in Computer Science ; 7041)

Software engineering and formal methods : 9th international conference, SEFM 2011 : Montevideo, Uruguay, November 14-18, 2011 : proceedings : Nov 2011, Montevideo, Uruguay.

(Lecture Notes in Computer Science ; 7041)

Call No. (NDL): M17-12-1544
Bibliographic ID of National Diet Library: 023161621

Material type: 図書

Author: International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: xiv, 504 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers.

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: 9783642246906 (e-ISBN)
9783642246890
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Software engineering and formal methods : 9th international conference, SEFM 2011 : Montevideo, Uruguay, November 14-18, 2011 : proceedings : Nov 2011, Montevideo, Uruguay.
Series Title: Lecture Notes in Computer Science ; 7041
Title Heading: Lecture notes in computer science ; 7041. 0302-9743
Author Heading: International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)
Barthe, Gilles.
Pardo, Alberto.
Schneider, Gerardo.
Publication, Distribution, etc.: Heidelberg : Springer
New York : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xiv, 504 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
US
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Software engineering--Congresses.
Formal methods (Computer science)--Congresses.
Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
LCC: QA76.758
DDC: 005.3
NDLC: M17
Target Audience: 一般
Note (General): Selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Source: SpringerLink
http://dx.doi.org/10.1007/978-3-642-24690-6
ebrary
http://site.ebrary.com/id/10510095
Holding library: 国立国会図書館
Call No.: M17-12-1544
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023161621
http://id.ndl.go.jp/bib/023161621
OCLC No.: 759858893
https://www.worldcat.org/oclc/759858893
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215