FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland.

(Lecture Notes in Computer Science ; 5014)

Call No. (NDL): M17-08-1784
Bibliographic ID of National Diet Library: 000009423767

Material type: 図書

Author: Abo Akademi University. Department of Information Technologies.ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: xiii, 436 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and abstracts."There were five workshops, (...) There were also seven tutorials, (...) There were also an associated Doctoral Symposium, (...) ...

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: 9783540682356 (ISBN-13 : softcover : alk. paper)
354068235X (softcover : alk. paper)
ISSN (series): 0302-9743
Title: FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland.
Series Title: Lecture Notes in Computer Science ; 5014
Author Heading: Abo Akademi University. Department of Information Technologies.
Cuellar, Jorge.
Maibaum, Thomas S. E., 1947-
Sere, K. (Kaisa) , 1954-
Formal Methods Europe.
International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: xiii, 436 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer software -- Development -- Congresses.
Formal methods (Computer science) -- Congresses.
System design -- Mathematics -- Congresses.
LCC: QA76.76.D47
NDLC: M17
Note (General): Papers and abstracts.
"There were five workshops, (...) There were also seven tutorials, (...) There were also an associated Doctoral Symposium, (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-08-1784
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009423767
http://id.ndl.go.jp/bib/000009423767
LC Control Number: 2008927062
https://lccn.loc.gov/2008927062
OCLC No.: 227032567
https://www.worldcat.org/oclc/227032567
Bibliographic Record Category (NDL): 215