Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer International Publishing AG
SKU: 9783319281131
Price: 6300 KES
Availability: OutOfStock
ISBN: 9783319281131

1st ed. 2015

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3319281135

ISBN-13 9783319281131

Edition 1st ed. 2015

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Dec 31st, 2015

Print length 171 Pages

Weight 288 grams

Dimensions 15.50 x 23.40 x 1.20 cms

Product Classification: Mathematical foundations Mathematical logic Software Engineering Mathematical theory of computation Maths for computer scientists

KSh 6,300.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This book constitutes the thoroughly refereedpost-conference proceedings of the 22^nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.
The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus together with one invited paper on foundations ofalgebraic specification, approaches to formal specification including processcalculi and models of concurrent, distributed and mobile computing,specification languages, methods, and environments, semantics of conceptualmodeling methods and techniques, model-driven development, graphtransformations, term rewriting and proof systems, integration of formalspecification techniques, formal testing and quality assurance, validation, andverification.

Get Recent Trends in Algebraic Development Techniques by Ionuț Țuțu at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 171 pages.