Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98 : Jun 1998, Manchester, UK. (Lecture Notes in Computer Science ; 1559)

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98 : Jun 1998, Manchester, UK.

(Lecture Notes in Computer Science ; 1559)

Call No. (NDL): M17-01-0317
Bibliographic ID of National Diet Library: 000003449183

Material type: 図書

Author: University of Manchester. Department of Computer Science.

Publisher: Springer

Publication date: 1999.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Selected papers.Index term: logic based program synthesis ; program transformation ; computer science ; LOPSTR.BL shelfmark: 5180.185 [no] 1559 1999.

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: 3540657657 (pbk)
ISSN: 0302-9743
Title: Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98 : Jun 1998, Manchester, UK.
Series Title: Lecture Notes in Computer Science ; 1559
Author Heading: University of Manchester. Department of Computer Science.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: 1999.
Publication Date (W3CDTF): 1999
Extent: v.
Alternative Title: logic based program synthesis ; program transformation ; computer science ; LOPSTR
NDLC: M17
Note (General): Selected papers.
Index term: logic based program synthesis ; program transformation ; computer science ; LOPSTR.
BL shelfmark: 5180.185 [no] 1559 1999.
Holding library: 国立国会図書館
Call No.: M17-01-0317
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003449183
http://id.ndl.go.jp/bib/000003449183
UKMARC No.: G05757735
Bibliographic Record Category (NDL): 215