Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642034282
Price: 52.83 EUR
Availability: InStock

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Автор: Andrea Corradini, Ugo Montanari

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.83 € 103.32 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International...

Информация за книгата

Автор

Andrea Corradini, Ugo Montanari

Език

Английски език

Корици

Книга - С меки корици

Издадена

2009

страници

343

EAN

9783642034282

ISBN

3642034284

Enbook ID

01650238

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

539

Размери

155 x 19 x 20

Пълно описание

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. §The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop.§The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Информация за книгата

Пълно описание

Може също да ви хареса

Rider Waite Tarot Deck: Pocket Size

Mandarin Chinese Phrase Book for Beginners

Woman After God's Own Heart(R) Growth and Study Guide

Pharmacokinetic Studies of Acepromazine in the Cat and the Horse Studies in Lipophilicity Red Blood Cell Partitioning and Protein Binding

Dangerous Alliance: An Austentacious Romance

Paleo: Paleo Diet For Beginners: 50 Delicious Recipes And The Complete Guide To Going Paleo

Garden and Forest; A Journal of Horticulture, Landscape Art and Forestry

Death on the Cherwell: A British Library Crime Classic

William Addison Dwiggins: Stencilled Ornament and Illustration

My Mom's Letters from Heaven

Collection of Original Songs and Glees.

Harem Histories

Клиенти, които купиха тази книга, купиха също

Introducción rápida a Matlab y Simulink para ciencia e ingeniería

Traite de l'Origine Des Glaires Avec La Methode A Suivre Pour Les Guerir Soi-Meme. 8e Edition

Ben de Artik Fark Edilmek Istiyorum

THE BEST OF MAURO GIULIANI

Plomby bezpečnostní 200ks/bal. (0,150kg)