Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4019)

Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia.

(Lecture Notes in Computer Science ; 4019)

Call No. (NDL): M17-06-3036
Bibliographic ID of National Diet Library: 000008366964

Material type: 図書

Author: Tallinna Tehnikaulikool. Institute of Cybernetics.ほか

Publisher: Springer

Publication date: c2006.

Material Format: Paper

Capacity, size, etc.: xi, 387 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers.

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: 3540356339 (pbk.)
9783540356332 (ISBN-13)
ISSN (series): 0302-9743
Title: Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia.
Series Title: Lecture Notes in Computer Science ; 4019
Author Heading: Tallinna Tehnikaulikool. Institute of Cybernetics.
Johnson, Michael.
Vene, Varmo.
International Conference on Algebraic Methodology and Software Technology (11th : 2006 : Kuressaare, Estonia)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2006.
Publication Date (W3CDTF): 2006
Extent: xi, 387 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Software engineering -- Congresses.
Abstract data types (Computer science) -- Congresses.
LCC: QA76.758
NDLC: M17
Note (General): Abstracts and papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-06-3036
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008366964
http://id.ndl.go.jp/bib/000008366964
RLIN No.: NYCGQ5709875-B
Bibliographic Record Category (NDL): 215