Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil. (Lecture Notes in Computer Science ; 8941)

Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil.

(Lecture Notes in Computer Science ; 8941)

Call No. (NDL): M17-15-1608
Bibliographic ID of National Diet Library: 026072836

Material type: 図書

Author: Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil)ほか

Publisher: Springer

Publication date: [2015]

Material Format: Paper

Capacity, size, etc.: viii, 178 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers.

Other physical details：: illustrations

Detailed bibliographic record

Summary, etc.：: This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio...

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: 9783319150741
331915074X
ISBN (error code): 9783319150758 electronic bk.
3319150758 electronic bk.
ISSN (series): 0302-9743
Title: Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil.
Series Title: Lecture Notes in Computer Science ; 8941
Title Heading: Lecture notes in computer science ; 8941.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil)
Braga, Christiano.
Martí-Oliet, N. (Narciso)
Universidade Federal de Alagoas.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2015]
Publication Date (W3CDTF): 2015
Extent: viii, 178 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Formal methods (Computer science)--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1608
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026072836
http://id.ndl.go.jp/bib/026072836
OCLC No.: 910600326
https://www.worldcat.org/oclc/910600326
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215