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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer, Berlin
SKU: 05274810
Price: 51.55 EUR
Availability: InStock
Author: Francesco Parisi-Presicce
ISBN: 9783540642992

12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997. Selected Papers

Francesco Parisi-Presicce

Language

English

Book Paperback

Libristo code: 05274810

Publishers Springer, Berlin, November 1997

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Work... Full description

Libristo code: 05274810

125 b

51.55 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Carnet Ligné Lutteurs, Deauville, 1913 Sans Auteur

Paperback

6.95 €

ISHA Le renard des neiges TSIN

Paperback

18.25 €

Jellinskie tradicii i warwarskie wliqniq

Paperback

70.22 €

È facile controllare l'alcool se sai come farlo Allen Carr

Paperback

11.90 €

Diario de Jules Renard (1887-1910) Renard

Paperback

30.77 €

Geile Hausfrauen: Die Komplette Serie 200 Seiten Geile Hausfrauen! Anna Wolf

Paperback

14.82 €

Ce Que c'Est Que l'Homoeopathie RAPOU-A

Paperback

15.53 €

Porozmawiaj z Duchami - Talk to the Entities Polish Shannon O'Hara

Paperback

26.73 €

Tunisie Michel Z'Raffa

Paperback

10.89 €

Die souveräne Leserin Alan Bennett

Hardback

17.95 €

Die Berg-Azaleen auf dem Hira-Gipfel Yasushi Inoue

Paperback

15.23 €

Starting Strength Mark Rippetoe

Paperback

25.22 €

Uhrzeiten-Quartett Heiner Müller

Game

7.66 €

Cohen Thomas Kraft

Paperback

10.28 €

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.