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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 925 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Book Paperback
common.buy 13 956 Ft
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Game/Toy Toy
common.buy 981 Ft
Bauman Dariusz Rosiak / Book Hardback
common.buy 3 184 Ft
Universität und Adel. Rainer A. Müller / Book Paperback
common.buy 22 715 Ft
Puzzle 500 Arrinera hussarya 33 B-52950 / Game/Toy Game
common.buy 2 364 Ft
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Book Paperback
common.buy 12 781 Ft
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Book Paperback
common.buy 14 599 Ft
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Book binding.
common.buy 29 110 Ft
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Book Paperback
common.buy 4 414 Ft
Game Chain stories & shower of questions conditional I / Book binding.
common.buy 3 993 Ft
Cartes de Llet del Ratoli Perez Isabel Caballero / Book Paperback
common.buy 5 122 Ft
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Book Paperback
common.buy 7 630 Ft
Batman/Superman: World's finest Mark Waid / Book Paperback
common.buy 7 441 Ft
Mitgefühlstraining Chris Irons / E-book Adobe ePub DRM
common.buy 11 314 Ft
La naturaleza en disputa Emanuela Bienchi / E-book Adobe ePub DRM
common.buy 4 683 Ft
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 16 917 Ft
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Book Paperback
common.buy 6 325 Ft
Durchsichtige Dinge Vladimír Nabokov / Book Hardback
common.buy 4 988 Ft
Buntstift Colour GRIP 36er / Game/Toy Toy
common.buy 16 052 Ft
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Book Paperback
common.buy 20 471 Ft
Rehabilitationstechnik Marc Kraft / Book Paperback
common.buy 25 649 Ft
Entre naranjos Vicente Blasco Ibá / Book Paperback
common.buy 6 265 Ft
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Book Paperback
common.buy 6 279 Ft
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Book Paperback
common.buy 5 224 Ft

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 16 098 Ft
Software Language Engineering Anthony Sloane / Book Paperback
common.buy 19 925 Ft
Sandy Lane Stables The Perfect Pony Michelle Bates / Book Hardback
common.buy 2 846 Ft
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Book Paperback
common.buy 39 735 Ft
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Book Paperback
common.buy 8 820 Ft
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Book Paperback
common.buy 21 323 Ft
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Book Paperback
common.buy 8 787 Ft
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Book Paperback
common.buy 26 251 Ft
Top
Living and Working in Switzerland David Hampshire / Book Paperback
common.buy 8 436 Ft
Lismore Eugene F. Dennis / Book Paperback
common.buy 6 853 Ft
One Soul's Journey Maureen Niak / Book Paperback
common.buy 4 137 Ft
Knowing Poverty Karen Brock / Book Hardback
common.buy 18 532 Ft
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Book Paperback
common.buy 19 925 Ft
Coming soon
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Book Paperback
common.buy 5 284 Ft
Benefactor Susan Sontag / Book Paperback
common.buy 5 284 Ft
Politics, Art and Commitment in the East European Cinema D.W. Paul / Book Paperback
common.buy 19 458 Ft
Sword of Zagan Clark Ashton Smith / Book Paperback
common.buy 5 974 Ft
Top
Cosmic Trigger I Robert Anton Wilson / Book Paperback
common.buy 8 861 Ft
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 10 300 Ft
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Book Paperback
common.buy 3 595 Ft
Amish Hope Beth Wiseman / Book Paperback
common.buy 3 420 Ft
Delusions Amy Crandall / Book Paperback
common.buy 5 692 Ft
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Book Hardback
common.buy 50 535 Ft
Alexz Ferretti Lindsay Anderson / Book Paperback
common.buy 2 596 Ft

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?