Formal methods: foundations and applications : 13th Brazilian symposium on formal methods, SBMF 2010 : Natal, Brazil, November 8-11, 2010 : revised selected papers. : Nov 2010, Natal, Brazil. (Lecture Notes in Computer Science ; 6527)

Formal methods: foundations and applications : 13th Brazilian symposium on formal methods, SBMF 2010 : Natal, Brazil, November 8-11, 2010 : revised selected papers. : Nov 2010, Natal, Brazil.

(Lecture Notes in Computer Science ; 6527)

Call No. (NDL): M17-11-1890
Bibliographic ID of National Diet Library: 000011188404

Material type: 図書

Author: Universidade Federal do Rio Grande do Norte. Departamento de Informatica e Matematica Aplicada.ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: viii, 290 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised selected papers."It also included two workshops: (...) There was also an accompanying doctoral research symposium, (...) " -- pref.

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: 9783642198281 (pbk.)
9783642198298 (e-ISBN)
ISSN: 1611-3349 (e-ISSN)
ISSN (series): 0302-9743
Title: Formal methods: foundations and applications : 13th Brazilian symposium on formal methods, SBMF 2010 : Natal, Brazil, November 8-11, 2010 : revised selected papers. : Nov 2010, Natal, Brazil.
Series Title: Lecture Notes in Computer Science ; 6527
Title Heading: Lecture notes in computer science, 0302-9743 ; 6527.
Author Heading: Universidade Federal do Rio Grande do Norte. Departamento de Informatica e Matematica Aplicada.
Brazilian Computer Society (SBC)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: viii, 290 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
NDLC: M17
Note (General): Revised selected papers.
"It also included two workshops: (...) There was also an accompanying doctoral research symposium, (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-11-1890
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011188404
http://id.ndl.go.jp/bib/000011188404
OCLC No.: 713180279
https://www.worldcat.org/oclc/713180279
Bibliographic Record Category (NDL): 215