TAPSOFT '93 theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud, eds.

Author/creator International Joint Conference on Theory and Practice of Software Development
Format Electronic
Publication InfoBerlin ; New York : Springer-Verlag,
Descriptionxii, 761 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Supplemental ContentFull text available from Springer Books
Subjects

Other author/creatorGaudel, M.-C. (Marie-Claude)
Other author/creatorJouannaud, Jean-Pierre.
Other author/creatorColloquium on Trees in Algebra and Programming (1993 : Orsay, France)
Other author/creatorColloquium on Formal Approaches of Software Engineering (1993 : Orsay, France)
SeriesLecture notes in computer science ; 668
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
Other titleTheory and practice of software development.
LCCN 93010178
ISBN3540566104 (Berlin : acid-free paper)
ISBN0387566104 (New York : acid-free paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available