図書

FME 2001: formal methods for increasing software productivity : international symposium of formal methods Europe : Berlin, Germany, March 12-16, 2001 : proceedings. : Mar 2001, Berlin, Germany. (Lecture Notes in Computer Science ; 2021)

Icons representing 図書

FME 2001: formal methods for increasing software productivity : international symposium of formal methods Europe : Berlin, Germany, March 12-16, 2001 : proceedings. : Mar 2001, Berlin, Germany.

(Lecture Notes in Computer Science ; 2021)

Call No. (NDL)
M17-03-4730
Bibliographic ID of National Diet Library
000004246504
Material type
図書
Author
Humboldt-Universität zu Berlin.ほか
Publisher
Springer
Publication date
2001.
Material Format
Paper
Capacity, size, etc.
xiii, 628 p. : ill. ; 24 cm.
NDC
-
View All

Notes on use

Note (General)：

Papers and abstracts."FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME) , ..." -- preface.

Search by Bookstore

Search by Bookstore

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
3540417915 (softcover : alk. paper)
ISSN (series)
0302-9743
Title
FME 2001: formal methods for increasing software productivity : international symposium of formal methods Europe : Berlin, Germany, March 12-16, 2001 : proceedings. : Mar 2001, Berlin, Germany.
Series Title
Lecture Notes in Computer Science ; 2021
Author Heading
Humboldt-Universität zu Berlin.
Oliveira, José N.
Zave, Pamela, 1948-
International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany)
Publication, Distribution, etc.
New York : Springer
Publication Date
2001.
Publication Date (W3CDTF)
2001
Extent
xiii, 628 p. : ill. ; 24 cm.