Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Andrea Corradini, Ugo Montanari
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 173 Ft
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International...

Információk a könyvről

Szerző
Andrea Corradini, Ugo Montanari
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2009
oldal
343
EAN
9783642034282
ISBN
3642034284
Enbook ID
01650238
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
539
Méretek
155 x 19 x 20

Teljes leírás

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.

Érdekelheti

Rider Waite Tarot Deck: Pocket Size

Pamela Colman Smith
5 788 Ft

Mandarin Chinese Phrase Book for Beginners

Raghupathi Kumar
3 811 Ft

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

Elizabeth George
2 204 Ft

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

PATRICK MARROUM
23 509 Ft

Dangerous Alliance: An Austentacious Romance

COHEN JENNIEKE
5 236 Ft

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

Martin Rowland
3 811 Ft

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

Anonymous
14 431 Ft

Death on the Cherwell: A British Library Crime Classic

Mavis Hay
6 568 Ft

William Addison Dwiggins: Stencilled Ornament and Illustration

Marimekko
11 140 Ft

My Mom's Letters from Heaven

Gerry Klassen
8 006 Ft

Collection of Original Songs and Glees.

W Lawrence
4 760 Ft

Harem Histories

M Booth
65 060 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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

Manuel Gil Rodríguez
7 863 Ft

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

GUILLIE-S
5 379 Ft

Ben de Artik Fark Edilmek Istiyorum

Birsen Basar
5 989 Ft

THE BEST OF MAURO GIULIANI

MAURO GIULIANI
12 454 Ft

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

1 834 Ft