Research Catalog

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Title: Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
Author: WADT 2002 (2002 : Frauenchiemsee, Germany)
Publication: Berlin ; New York : Springer, c2003.

Available Online

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-832	Offsite

Details

Additional Authors

Description

viii, 456 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 2755

Subject

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 04-832

ISBN

3540205373 (alk. paper)

LCCN

2003065502

OCLC

53477065

Conference

WADT 2002 (2002 : Frauenchiemsee, Germany)

Title

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).

Imprint

Berlin ; New York : Springer, c2003.

Series

Lecture notes in computer science ; 2755

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Wirsing, M. (Martin)

Pattinson, Dirk, 1970-

Hennicker, Rolf, 1952-

Research Call Number

JSE 04-832

View in Legacy Catalog