Code: 01564599

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564599
Price: 51.56 EUR
Availability: InStock
Author: Helene Kirchner
ISBN: 9783540441441

by Helene Kirchner, Christophe Ringeissen

Language: English
Binding: Paperback
Number of pages: 508
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
More about this

51.56 €

RRP: 55.84 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Cosmic Trigger I
21.99 € -1 %
Buy
For She is Wrath
10.59 € -13 %
Buy
Living and Working in Switzerland
23.71 €
Buy
Benefactor
13.92 € -24 %
Buy
La piel del cielo (Premio Alfaguara de novela 2001)
21.39 € -3 %
Buy
Sandy Lane Stables The Perfect Pony
7.36 € -9 %
Buy
All-In-One Quilter's Reference Tool (2nd edition)
13.31 € -25 %
Buy
Die deutsche Hanse
17.96 € -11 %
Buy
McGraw-Hill's 500 College Precalculus Questions: Ace Your College Exams
16.84 € -24 %
Buy
Finite Element Analysis in Geotechnical Engineering
197.30 €
Buy
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960
66.50 €
Buy
Shamanism in Siberia
236.56 €
Buy
Bauman
8.87 € -20 %
Buy
Sword of Zagan
14.83 € -2 %
Buy
Puzzle 500 Arrinera hussarya 33 B-52950
6.65 € -4 %
Buy
Ansichten der Subjektivität
20.88 € -4 %
Buy
DICCIONARI BASIC CATALÁ-CASTELLÁ, CASTELLÁ-CATALÁ
15.03 €
Buy
Batman/Superman: World's finest
19.07 € -14 %
Buy
Dekalog (Neuauflage), 6 DVDs
47.53 €
Buy
Buntstift Colour GRIP 36er
43.49 €
Buy
Die Begriffsbestimmung des Versuchs und ihre Auswirkung auf den Versuchsbeginn.
116.26 €
Buy
Beamed Energy Propulsion
225.26 €
Buy
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology
23.41 € -10 %
Buy
Biofuels, Solar and Wind as Renewable Energy Systems
102.73 € -7 %
Buy
Alexz Ferretti
6.35 € -7 %
Buy
Erfolg fur Dummies Sonderausgabe
10.59 € -19 %
Buy
A Window in Thrums by J.M. Barrie (Classics)
8.87 € -6 %
Buy
Presseberufe im Gemeinsamen Markt.
32.99 € -6 %
Buy
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits
13.01 € -1 %
Buy
Game Chain stories & shower of questions conditional I
11.19 € -9 %
Buy
Politics, Art and Commitment in the East European Cinema
50.86 €
Buy
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa
2.72 €
Buy
Saxon Algebra 1/2 Tests Only Third Edition
55.80 €
Buy
An Exegetical Commentary on the Gospel According to St. Matthew (1909)
39.05 € -1 %
Buy
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele
16.14 € -10 %
Buy
Optimal Control Theory for Infinite Dimensional Systems
225.66 € -7 %
Buy
Entre naranjos
16.14 € -14 %
Buy
Herbal Drugs: Synthesis, Interactions and Applications
123.73 € -12 %
Buy
Le Chat Noir, Vaudeville En 1 Acte
11.29 € -9 %
Buy
Universität und Adel.
74.37 €
Buy
Manual of Endocrine Surgery
90.83 €
Buy
Time Pressure and Stress in Human Judgment and Decision Making
102.73 € -7 %
Buy
THE DEATH OF ADAM
14.83 € -24 %
Buy
Rehabilitationstechnik
71.65 €
Buy
Delusions
14.02 € -7 %
Buy
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022
12.40 €
Buy
Der Coup seines Lebens
13.31 € -10 %
Buy
Klinische Und Liquordiagnostik Der R ckenmarkstumoren
52.98 € -7 %
Buy
Anlageinvestitionen und Anlagevermögen in den Wirtschaftsbereichen der Bundesrepublik.
37.64 €
Buy
Cognitive Models and Intelligent Environments for Learning Programming
154.01 € -7 %
Buy
Human Nature and Public Policy
57.22 €
Buy
Amish Hope
8.87 €
Buy
Disaster Spiritual Care, 2nd Edition
24.41 € -24 %
Buy
Matter and Motion: A Brief History of Kinetic Materialism
136.14 €
Buy
Genxegesis
19.47 € -22 %
Buy
Scientific Issues in Quantitative Cancer Risk Assessment
51.56 € -7 %
Buy
A Practical Treatise on the Law of Contracts Not Under Seal: And Upon the Usual Defences to Actions Thereon with Corrections and Additional References
25.52 € -2 %
Buy
Joys and Sorrows of Home: An Autobiography (1855)
32.69 € -2 %
Buy
Numicon: Number, Pattern and Calculating 6 Explorer Progress Book B (Pack of 30)
61.86 €
Buy
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant
14.73 € -11 %
Buy
Knowing Poverty
48.44 €
Buy
University Engagement and Environmental Sustainability
94.96 € -14 %
Buy
IUTAM Symposium on Multiscale Modeling and Characterization of Elastic-Inelastic Behavior of Engineering Materials
154.01 € -7 %
Buy
Leeds Rugby League Football Club (Classic Matches)
13.92 € -24 %
Pre-order
Das Vertragsrecht internationaler Organisationen.
37.64 € -6 %
Buy
Manuel d'Enseignement Menager Agricole
21.08 € -2 %
Buy
Instructional Explanations in the Disciplines
109.09 €
Buy
Michel de Certeau lesen. Lire Michel de Certeau
39.25 €
Buy
Software Language Engineering
51.56 € -7 %
Buy
Human Demography and Disease
164.60 €
Buy
Commentary, Critical and Explanatory, On the Old and New Testaments. by the Rev. Robert Jamieson ... Rev. A. R. Fausset ... and the Rev. David Brown .
39.96 € -1 %
Buy
Cartes de Llet del Ratoli Perez
12.61 € -7 %
Buy
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD
81.84 €
Buy
Durchsichtige Dinge
14.02 € -10 %
Buy
Ich schraube, also bin ich
10.79 € -10 %
Buy
Einleitung in die Moralwissenschaft. Bd.2
20.88 € -4 %
Buy
Lismore
18.06 € -25 %
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 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002.The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, process algebras, algebraic specification, semantic specification, model checking, mu-calculus, Petri box algebras, unification, verification of Java for smart cards, security, JML specification, and formal software development.

Book details

Book category Books in English Mathematics & science Mathematics Algebra

51.56 €

Full title: Algebraic Methodology and Software Technology
Subtitle: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
Author: Helene Kirchner, Christophe Ringeissen
Language: English
Binding: Paperback
Number of pages: 508
EAN: 9783540441441
ISBN: 3540441441
ID: 01564599
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1590 g
Dimensions: 235 × 155 × 28 mm
Date of publishing: 26. August 2002