Automated and algorithmic debugging : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson, ed. (Lecture notes in computer science)

Automated and algorithmic debugging : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson, ed.

(Lecture notes in computer science)

Call No. (NDL): M15-A9102
Bibliographic ID of National Diet Library: 000003225091

Material type: 図書

Author: International Workshop on Automated and Algorithmic Debugging (1st : 1993 : Linköping, Sweden)ほか

Publisher: Springer-Verlag

Publication date: c1993.

Material Format: Paper

Capacity, size, etc.: viii, 367 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selection of papers presented at the First International Workshop on Automated and Algorithmic Debugging.

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: 3540574174 (Berlin : acid-free paper)
0387574174 (New York : acid-free paper)
Title: Automated and algorithmic debugging : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson, ed.
Series Title: Lecture notes in computer science
Author Heading: International Workshop on Automated and Algorithmic Debugging (1st : 1993 : Linköping, Sweden)
Fritzson, Peter A., 1952- ( 001219938 )Authorities
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: c1993.
Publication Date (W3CDTF): 1993
Extent: viii, 367 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Debugging in computer science -- Congresses.
LCC: QA76.9.D43
DDC: 005.1/4
NDLC: M15
M159
Note (General): Selection of papers presented at the First International Workshop on Automated and Algorithmic Debugging.
Note (Bibliography): Includes bibliographical references and index.
Holding library: 国立国会図書館
Call No.: M15-A9102
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003225091
http://id.ndl.go.jp/bib/000003225091
LC Control Number: 93038413
https://lccn.loc.gov/93038413
Bibliographic Record Category (NDL): 211