Menu
Află starea comenzii
Contactați-ne
Carte Recent Trends in Algebraic Development Techniques Andrea Corradini

Recent Trends in Algebraic Development Techniques

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

Autor: Andrea Corradini, Ugo Montanari
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.36 lei
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International...

Informații despre carte

Autor
Andrea Corradini, Ugo Montanari
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2009
Pagini
343
EAN
9783642034282
ISBN
3642034284
Enbook ID
01650238
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
539
Dimensiuni
155 x 19 x 20

Descriere completă

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.

S-ar putea să te intereseze

Rider Waite Tarot Deck: Pocket Size

Pamela Colman Smith
83.11 lei

Mandarin Chinese Phrase Book for Beginners

Raghupathi Kumar
55.20 lei

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

Elizabeth George
32.74 lei

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

PATRICK MARROUM
339.94 lei

Dangerous Alliance: An Austentacious Romance

COHEN JENNIEKE
74.85 lei

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

Martin Rowland
55.20 lei

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

Anonymous
208.76 lei

Death on the Cherwell: A British Library Crime Classic

Mavis Hay
94.60 lei

William Addison Dwiggins: Stencilled Ornament and Illustration

Marimekko
165.53 lei

My Mom's Letters from Heaven

Gerry Klassen
115.86 lei

Collection of Original Songs and Glees.

W Lawrence
68.40 lei

Harem Histories

M Booth
942.26 lei

Clienții care au cumpărat această carte au mai cumpărat și

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

Manuel Gil Rodríguez
116.87 lei

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

GUILLIE-S
77.67 lei

Ben de Artik Fark Edilmek Istiyorum

Birsen Basar
86.24 lei

THE BEST OF MAURO GIULIANI

MAURO GIULIANI
185.08 lei

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

27.30 lei