Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
2013 ed.
Book Details
Format
Paperback / softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3642376347
ISBN-13
9783642376344
Edition
2013 ed.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Manufacture
DE
Country of Publication
GB
Publication Date
Apr 13th, 2013
Print length
283 Pages
KSh 8,100.00
Currently unavailable
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain.
The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.
The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.
Get Recent Trends in Algebraic Development Techniques by Miguel Palomino at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has 283 pages.
Customers Who Bought This Also Bought
Foundations of Mathematics, Second Edition
KSh 10,000.00
Advanced Problems in Mathematics
KSh 4,800.00
How to Succeed Studying Mathematics
KSh 5,400.00
Fuzzy Set Theory—and Its Applications
KSh 47,350.00
Higher Category Theory
KSh 20,000.00
Introduction to Recognition and Deciphering of Patterns
KSh 9,700.00
Introduction to Soergel Bimodules
KSh 25,200.00
Problem Solving In Operation Management
KSh 14,400.00
Mathematical Puzzle Tales from Mount Olympus
KSh 11,900.00
Belief Change
KSh 32,400.00
Advances in Proof-Theoretic Semantics
KSh 8,100.00
Scientific Philosophy
KSh 12,600.00
More in This Genre
Foundations of Mathematics, Second Edition
KSh 10,000.00
Advanced Problems in Mathematics
KSh 4,800.00
How to Succeed Studying Mathematics
KSh 5,400.00
Fuzzy Set Theory—and Its Applications
KSh 47,350.00
Higher Category Theory
KSh 20,000.00
Introduction to Recognition and Deciphering of Patterns
KSh 9,700.00
