Code: 01559586

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01559586
Price: 51.68 EUR
Availability: InStock
Author: Charles Rattray
ISBN: 9783540223818

by Charles Rattray, Savitri Maharaj

Language: English
Binding: Paperback
Number of pages: 572
Publisher: Springer, Berlin, 2004
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Contemporary Jazz Styles for Drums: The Collective: Contemporary Styles Series
14.56 € -21 %
Buy
Blacksmith Shop Practice
14.86 € -1 %
Buy
Il était une fois un coeur brisé T01 (relié collector)
30.94 €
Buy
High Rhulain
8.59 € -24 %
Buy
Public Domain, Volume 1
16.88 €
Buy
Advent Storybook
14.76 € -25 %
Buy
Metatron
20.32 € -24 %
Buy
Curso de Teologia Patristica
24.67 € -30 %
Buy
Podoby Židů v literatuře doby romantismu v českých zemích
5.15 € -16 %
Buy
Die Eistaucher
23.46 € -9 %
Buy
Manuale di meccanica per invasati di motori
18.40 €
Buy
Clinical Applications of Music Therapy in Developmental Disability, Paediatrics and Neurology
46.12 €
Buy
Bregenz City Map 1:10 000
8.79 € -5 %
Buy
A Breath of Winter
14.46 € -15 %
Buy
Sokar - L' ordre des moines-guerriers Ahkena T1
13.34 €
Buy
Grenzen und Grenzkonflikte. Sibirien und seine unmittelbaren Anrainer: Zwischen Kooperation und Konfrontation
14.46 € -10 %
Buy
Lion at School and Other Stories
1.30 €
Buy
Basic theory of the helicopter - Pictorial initiation
43.69 €
Buy
Les Cars 3
4.54 €
Buy
Text Structures from Nonfiction Picture Books
41.57 €
Buy
Analysis, Design & Optimization of Composite Structures
308.32 € -9 %
Buy
Andaluca y su cante
8.49 €
Buy
Teaching Evolution in a Creation Nation
107.01 €
Buy
How the War Was Won
209.08 €
Buy
The Moral Fitness to Survive: Executive Intelligence Review; Volume 43, Issue 8
9.80 € -6 %
Buy
Synthesis and Intentional Objectivity
102.97 € -7 %
Buy
Manuel Des Jeunes Artistes Et Amateurs En Peinture, (Ed.1827)
37.01 €
Buy
Mastery Motivation
56.23 €
Buy
I Believe
7.27 € -24 %
Buy
The differentiation between the karams by Gi?n? Harbhajan Singh Dhudhikay (Vidy?rth? Sampard?i Bhindr?).
13.54 € -2 %
Buy
Premier Examen Sur Le Code Civil, Contenant Le Premier Livre Du Code
19.31 € -2 %
Buy
CUENTOS DE RISA PARA LEER SIN PRISA
12.63 € -9 %
Buy
The Unfinished Song of Achmed Mohammed
21.94 € -2 %
Buy
Building Contract Claims and Disputes
180.05 €
Buy
Chemical Industry in Europe, 1850-1914
205.74 € -7 %
Buy
Hydrologische Untersuchungen
12.33 € -9 %
Buy
Holy Gnostic Novena of Baphomet, Book No. 1
59.77 € -2 %
Buy
Spatial Models of Parliamentary Voting
107.92 €
Buy
Symbole et connaissances de l'initiation maçonnique
24.07 €
Buy
SAVOIR-FAIRE EN RADIOL OSTEO-ARTICUL T 21 QUESTIONS BRULANTES 2
92.25 €
Buy
The MAN in the MIRROR: Inspirational Quotes for Men
9.80 € -6 %
Buy
Arquitectura bioclimática y urbanismo sostenible (volumen II) (Serie Energias renovables)
33.27 €
Buy
Reconnaissance of the Ore Deposits in Northern Yuma County, Arizona
15.37 € -24 %
Buy
Lies, Betrayal, and Love: An Erotic Billionaire Romance
15.26 € -6 %
Buy
Notice Sur Un Enfant d'Indret, Mort A l'Age de 8 ANS
12.13 € -1 %
Buy
Душина. География. 7 кл. Материки, океаны, народы и страны. Учебное пособие. (ФГОС)
15.77 € -12 %
Buy
genetic variability, path coefficient and genetic divergence
35.70 € -14 %
Buy
Benedetto Croce, John Dewey. Dialogo sull'estetica
39.24 € -9 %
Buy
Deleuze and the History of Mathematics
185.61 €
Buy
Regulationskrankheiten
18 € -11 %
Buy
Volleyball Essentials--(color)
31.15 € -7 %
Buy
El Directorio Ascético Del P. Scaramelli...
24.67 € -2 %
Buy
Erfolgsfaktor Standortplanung
66.05 € -6 %
Buy
Care Home Stories - Aging, Disability, and Long-Term Residential Care
45 €
Buy
Network and Parallel Computing
110.55 €
Buy
Teoría de la publicidad
24.67 €
Buy
Nature of the Judical Process
20.22 € -1 %
Buy
Neuronale Netze Im Portfolio-Management
53.10 € -7 %
Buy
Briefe über Alexander von Humboldt's Kosmos
62.30 € -11 %
Buy
Das Rentier Mit Der Roten Nase
5.65 €
Buy
A Little Book of Revolutionary Quotes: Tyranny, Taxes, & Treason
7.27 € -6 %
Buy
Sumishield: Um produto eficaz contra os vectores da malária
35.70 € -14 %
Buy
Cast for a Crown. a Dramatic Story, Etc.
22.24 € -24 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Algebraic Methodology and Software Technology

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.

Book details

Book category Books in English Computing & information technology Computer programming / software development

51.68 €

Full title: Algebraic Methodology and Software Technology
Subtitle: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Author: Charles Rattray, Savitri Maharaj
Language: English
Binding: Paperback
Number of pages: 572
EAN: 9783540223818
ISBN: 3540223819
ID: 01559586
Publisher: Springer, Berlin
Weight: 860 g
Dimensions: 234 × 156 × 30 mm
Published: 2004