Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Algebraic Methodology and Software Technology

9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology Helene Kirchner
Libristo code: 01564599
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Book Paperback
common.buy 40.69 €
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Game/Toy Toy
common.buy 2.89 €
Bauman Dariusz Rosiak / Book Hardback
common.buy 9.39 €
Universität und Adel. Rainer A. Müller / Book Paperback
common.buy 66.39 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Game/Toy Game
common.buy 6.89 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Book Paperback
common.buy 34.90 €
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Book Paperback
common.buy 39.90 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Book binding.
common.buy 84.59 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Book Paperback
common.buy 12.79 €
Game Chain stories & shower of questions conditional I / Book binding.
common.buy 11.69 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Book Paperback
common.buy 13.89 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Book Paperback
common.buy 22.29 €
Batman/Superman: World's finest Mark Waid / Book Paperback
common.buy 22.00 €
Mitgefühlstraining Chris Irons / E-book Adobe ePub DRM
common.buy 33.09 €
La naturaleza en disputa Emanuela Bienchi / E-book Adobe ePub DRM
common.buy 13.69 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 49.39 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Book Paperback
common.buy 17.09 €
Durchsichtige Dinge Vladimír Nabokov / Book Hardback
common.buy 14.69 €
Buntstift Colour GRIP 36er / Game/Toy Toy
common.buy 47.09 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Book Paperback
common.buy 55.29 €
Rehabilitationstechnik Marc Kraft / Book Paperback
common.buy 75.09 €
Entre naranjos Vicente Blasco Ibá / Book Paperback
common.buy 16.89 €
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Book Paperback
common.buy 17.95 €
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Book Paperback
common.buy 14.19 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Algebraic Methodology and Software Technology
Author Helene Kirchner, Christophe Ringeissen
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 508
EAN 9783540441441
ISBN 3540441441
Libristo code 01564599
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1590
Dimensions 155 x 235 x 28

Categories

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Commentary, Critical and Explanatory, On the Old and New Testaments. by the Rev. Robert Jamieson ... Rev. A. R. Fausset ... and the Rev. David Brown . Robert Jamieson / Book Paperback
common.buy 43.59 €
Software Language Engineering Anthony Sloane / Book Paperback
common.buy 53.79 €
Sandy Lane Stables The Perfect Pony Michelle Bates / Book Hardback
common.buy 7.69 €
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Book Paperback
common.buy 107.29 €
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Book Paperback
common.buy 23.99 €
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Book Paperback
common.buy 57.89 €
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Book Paperback
common.buy 25.79 €
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Book Paperback
common.buy 71.39 €
Living and Working in Switzerland David Hampshire / Book Paperback
common.buy 24.69 €
Lismore Eugene F. Dennis / Book Paperback
common.buy 19.09 €
One Soul's Journey Maureen Niak / Book Paperback
common.buy 11.19 €
Knowing Poverty Karen Brock / Book Hardback
common.buy 50.29 €
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Book Paperback
common.buy 53.79 €
Coming soon
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Book Paperback
common.buy 14.69 €
Benefactor Susan Sontag / Book Paperback
common.buy 14.69 €
Politics, Art and Commitment in the East European Cinema D.W. Paul / Book Paperback
common.buy 55.09 €
Sword of Zagan Clark Ashton Smith / Book Paperback
common.buy 16.19 €
Top
Cosmic Trigger I Robert Anton Wilson / Book Paperback
common.buy 23.99 €
A Practical Treatise on the Law of Contracts Not Under Seal: And Upon the Usual Defences to Actions Thereon with Corrections and Additional References Joseph Chitty / Book Paperback
common.buy 27.89 €
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Book Paperback
common.buy 9.69 €
Amish Hope Beth Wiseman / Book Paperback
common.buy 9.19 €
Delusions Amy Crandall / Book Paperback
common.buy 15.39 €
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Book Hardback
common.buy 136.49 €
Alexz Ferretti Lindsay Anderson / Book Paperback
common.buy 6.99 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?