Location & Availability for: Recent trends in algebraic development t

 Staff view

You must be logged in to Tag Records

Recent trends in algebraic development techniques [electronic resource] : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /

Andrea Corradini, Ugo Montanari (eds.).

Book Cover
Names: Corradini, Andrea, | Montanari, U.
Published: Berlin ; Springer, c2009.
Series: Lecture notes in computer science ; 5486.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Topics: Computer software - Development - Congresses. | Computer science - Mathematics - Congresses. | Abstract data types (Computer science) - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Recent trends in algebraic development t