Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=CODESCU, Mihai
cover
Recent Trends in Algebraic Development Techniques: 22nd International Worksho…
Comment Share
CODESCU, MihaiDIACONESCU, RazvanTUTU, Lonut

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal …

Edition
-
ISBN/ISSN
978-3-319-28114-8
Collation
-
Series Title
-
Call Number
005.131