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)

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

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.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer software -- Development -- Congresses.
LCC: QA76
QA76.76.D47
DDC: 005.1
NDLC: M17
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.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-03-4730
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004246504
http://id.ndl.go.jp/bib/000004246504
LC Control Number: 2001020501
https://lccn.loc.gov/2001020501
RLIN No.: PATG01-B5273
Bibliographic Record Category (NDL): 215