Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer International Publishing AG
SKU: 02856915
Price: 15878 HUF
Availability: InStock
Author: Mihai Codescu
ISBN: 9783319281131

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Mihai Codescu

Razvan Diaconescu

Language

English

Book Paperback

Libristo code: 02856915

Publishers Springer International Publishing AG, December 2015

This book constitutes the thoroughly refereed§post-conference proceedings of the 22 nd International... Full description

Libristo code: 02856915

109 b

15 878 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Traitement de la Syphilis Et d'Autres Maladies Sans Mercure Ou Recueil de Temoignages DRYSDALE-C

Paperback

6 291 Ft

This book constitutes the thoroughly refereed§post-conference proceedings of the 22 nd 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 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.§