Research Catalog

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

Title: Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.).
Author: WADT '99 (1999 : Château de Bonas, France)
Publication: Berlin ; New York : Springer, c2000.

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 00-2347	Offsite

Details

Additional Authors

Description

x, 476 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 1827

Subject

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 00-2347

ISBN

3540678980 (softcover : alk. paper)

LCCN

00061912

OCLC

44750756

Conference

WADT '99 (1999 : Château de Bonas, France)

Title

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.).

Imprint

Berlin ; New York : Springer, c2000.

Series

Lecture notes in computer science, 0302-9743 ; 1827

Bibliography

Includes bibliographical references and index.

Added Author

Bert, Didier.

Choppy, C. (Christine)

Mosses, Peter.

Research Call Number

JSE 00-2347

View in Legacy Catalog