Recent trends in algebraic development techniques 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / Andrea Corradini, Ugo Montanari (eds.).

Author/creator WADT 2008
Other author Corradini, Andrea, 1960-
Other author Montanari, U. (Ugo)
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionviii, 341 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Computer software--Development. --Congresses.
Computer science--Mathematics. --Congresses.
Abstract data types (Computer science)--Congresses.
Algebraische Spezifikation--Kongress. --Pisa <2008>.
Formale Spezifikationstechnik--Kongress. --Pisa <2008>.

SeriesLecture notes in computer science, 0302-9743 ; 5486
LNCS sublibrary: SL 1-theoretical computer science and general issues
Lecture notes in computer science ; 5486. ^A466336
LNCS sublibrary. SL 1, Theoretical computer science and general issues. ^A1368241
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009934112
ISBN9783642034282 (pbk.)
ISBN3642034284 (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available