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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Algebraic Methodology and Software Technology

10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology Charles Rattray
Libristo code: 01559586
Publishers Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Met... Full description
? points 132 b
54.36 €
106.32  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Symbole et connaissances de l'initiation maçonnique Fleury / Book Paperback
common.buy 24.75 € 48.41 лв
CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN / Book Book
common.buy 13.28 € 25.97 лв
Andaluc­a y su cante DURAN MUÑOZ / Book Paperback
common.buy 8.88 € 17.38 лв
Душина. География. 7 кл. Материки, океаны, народы и страны. Учебное пособие. (ФГОС) / Book binding.
common.buy 16.69 € 32.64 лв
Sumishield: Um produto eficaz contra os vectores da malária Akimonwan Juniace Ahoga / Book Paperback
common.buy 37.72 € 73.77 лв
Das Gold der Wölfe Wolfgang Thon / Book Paperback
common.buy 10.59 € 20.71 лв
Manuale di meccanica per invasati di motori Emanuele Sabatino / Book Paperback
common.buy 19.01 € 37.19 лв
Benedetto Croce, John Dewey. Dialogo sull'estetica Nicola Ramazzotto / Book Paperback
common.buy 41.44 € 81.05 лв
Die Eistaucher Kaska Bryla / Book Hardback
common.buy 24.49 € 47.90 лв
antim hindi mahakavya / अंतिम हिंदी महाकाव्&#235 Jay Shankar Prasad / Book Paperback
common.buy 20.25 € 39.61 лв
A Breath of Winter Carina Schnell / Book Paperback
common.buy 15.29 € 29.91 лв
Curso de Teologia Patristica PIKAZA XABIER / Book Paperback
common.buy 28.11 € 54.97 лв
Erfolgsfaktor Standortplanung Steffen Kinkel / Book Hardback
common.buy 69.61 € 136.14 лв
PACK TEMARIO OPOSICION BOMBERO POSE / Book Book
common.buy 258.28 € 505.16 лв
Briefe über Alexander von Humboldt's Kosmos Julius Schaller / Book Paperback
common.buy 65.89 € 128.86 лв
Schlesiens Wirbeltier-Fauna Constantin Lambert Gloger / Book Paperback
common.buy 15.91 € 31.12 лв
Das Rentier Mit Der Roten Nase Various / Audio Audio CD
common.buy 5.94 € 11.61 лв
Grenzen und Grenzkonflikte. Sibirien und seine unmittelbaren Anrainer: Zwischen Kooperation und Konfrontation Markus Baum / Book Paperback
common.buy 15.24 € 29.81 лв
Teoría de la publicidad Raúl Eguizábal / Book Paperback
common.buy 25.89 € 50.63 лв
Arquitectura bioclimática y urbanismo sostenible (volumen II) (Serie Energias renovables) / Book Paperback
common.buy 34.88 € 68.22 лв
LEYENDAS GUSTAVO ADOLFO BECQUER / Book Paperback
common.buy 8.21 € 16.06 лв
Collection Henri LeBlanc Destinee A l'Etat. La Grande Guerre. Iconographie. Bibliographie. Tome 2-1 Rieunier-M / Book Paperback
common.buy 32.04 € 62.66 лв
Lettres Marseillaises (de l'Ancienne France) Au Docteur Louis Veron (de la Nouvelle) Clariond / Book Paperback
common.buy 14.36 € 28.09 лв
Podoby Židů v literatuře doby romantismu v českých zemích Jiří Holý / Book Paperback
common.buy 5.68 € 11.11 лв

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.

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 Charles Rattray, Savitri Maharaj
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 572
EAN 9783540223818
ISBN 3540223819
Libristo code 01559586
Publishers Springer, Berlin
Weight 860
Dimensions 156 x 234 x 30

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Network and Parallel Computing Chen Ding / Book Paperback
common.buy 115.60 € 226.09 лв
Advanced Intelligent Computing Technology and Applications De-Shuang Huang / Book Paperback
common.buy 80.36 € 157.16 лв
Studies in the Theory of Random Processes A. V. Skorokhod / Book Paperback
common.buy 14.67 € 28.69 лв
Blacksmith Shop Practice James Cran / Book Paperback
common.buy 15.55 € 30.41 лв
Equal Chance BIRLEY / Book Hardback
common.buy 198.49 € 388.22 лв
Lessons in Religion for the Older Classes in Sunday School Charles Adams Allen / Book Hardback
common.buy 29.71 € 58.11 лв
Affordable
Lion at School and Other Stories Philippa Pearce / Audio Audio
common.buy 1.29 € 2.52 лв
Care Home Stories - Aging, Disability, and Long-Term Residential Care Sally Chivers / Book Paperback
common.buy 46.82 € 91.56 лв
Holy Gnostic Novena of Baphomet, Book No. 1 Carlos Antonio De Bourbon-Montenegro / Book Paperback
common.buy 62.78 € 122.80 лв
Bregenz City Map 1:10 000 / Printed items Map
common.buy 9.04 € 17.68 лв
The MAN in the MIRROR: Inspirational Quotes for Men Curt Thomas / Book Paperback
common.buy 10.33 € 20.20 лв
Teaching Evolution in a Creation Nation Adam Laats / Book Hardback
common.buy 116.27 € 227.41 лв
Volleyball Essentials--(color) Dr Marv Dunphy / Book Paperback
common.buy 32.81 € 64.17 лв
A Little Book of Revolutionary Quotes: Tyranny, Taxes, & Treason A K Fielding / Book Paperback
common.buy 7.64 € 14.95 лв
The Moral Fitness to Survive: Executive Intelligence Review; Volume 43, Issue 8 Lyndon H Larouche Jr / Book Paperback
common.buy 10.33 € 20.20 лв
The Unfinished Song of Achmed Mohammed Earle Liederman / Book Paperback
common.buy 23.10 € 45.17 лв
The People Of The Mist H. Rider Haggard / Book Paperback
common.buy 13.17 € 25.76 лв
Can You Ever Forgive Me? Lee Israel / Book Paperback
common.buy 13.59 € 26.57 лв
Lies, Betrayal, and Love: An Erotic Billionaire Romance Melissa Bender / Book Paperback
common.buy 16.07 € 31.42 лв
I Believe Mondoux Suzanne Mondoux / Book Paperback
common.buy 7.69 € 15.05 лв
genetic variability, path coefficient and genetic divergence Kedar Maurya / Book Paperback
common.buy 37.72 € 73.77 лв
Public Domain, Volume 1 Zdarsky / Book Paperback
common.buy 13.59 € 26.57 лв
Rabbit Girl Mary Arrigan / E-book Adobe ePub DRM
common.buy 6.04 € 11.82 лв
The differentiation between the karams by Gi?n? Harbhajan Singh Dhudhikay (Vidy?rth? Sampard?i Bhindr?). Kamalpreet Singh Pardeshi / Book Paperback
common.buy 14.26 € 27.89 лв

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?