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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Algebraic Methodology and Software Technology

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology José Meseguer
Libristo code: 01570336
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2008
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Full description
? points 125 b
51.59 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Las memorias del Mariscal Soult Zbigniew Guscin / Book Hardback
common.buy 21.40 €
Faust I, 3 Audio-CD Johann W. von Goethe / Audio Audio CD
common.buy 13.52 €
La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / E-book Adobe ePub DRM
common.buy 44.62 €
Berlinische im Comic Franz Krober / Book Paperback
common.buy 16.15 €
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Book Paperback
common.buy 57.04 €
O prasátku Lojzíkovi Pavel Ondrašíkovi / Book Hardback
common.buy 7.16 €
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Book Hardback
common.buy 25.94 €
Single in the rain (Un canto a la vida en single) LOLA / Book Paperback
common.buy 21.70 €
Top Affordable
El poder del metabolismo Frank Suárez / Book Paperback
common.buy 21.60 €
Frauen aus Deutschland Achim Seiffarth / Book Paperback
common.buy 10.29 €
Dva a půl muže ve člunu Williams Nigel / Book Hardback
common.buy 9.78 €
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Book Sheet
common.buy 3.32 €
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Book Paperback
common.buy 32.00 €

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.§The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

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 José Meseguer, Grigore Rosu
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 434
EAN 9783540799795
ISBN 3540799796
Libristo code 01570336
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 688
Dimensions 155 x 235 x 25

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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 > Computer science > Artificial intelligence
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

Puligny-Montrachet Loftus Simon / Book Paperback
common.buy 13.92 €
Establishing Our Life in Christ Rayola Kelley / Book Paperback
common.buy 19.28 €
Civil Disobedience and Other Essays Henry David Thoreau / Book Paperback
common.buy 13.72 €
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Book Paperback
common.buy 15.74 €
Introduction To C Programming Sheetal Patil / Book Paperback
common.buy 32.00 €
Alan Ball: The Man in White Boots David Tossell / Book Paperback
common.buy 16.04 €
Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR / Book Hardback
common.buy 30.68 €
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Book Paperback
common.buy 7.46 €
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Book Paperback
common.buy 7.66 €
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Book Paperback
common.buy 65.72 €
American Independence And The French Revolution (1760-1801) Kenneth Bell / Book Paperback
common.buy 11.80 €
All the Summer Girls Meg Donohue / Audiobook MP3
common.buy 11.70 €
Keep me as the apple of the eye / Printed items Sheet music
common.buy 5.14 €
Pain to Peace J. Young / Book Paperback
common.buy 9.88 €
Coping with the Wobbles of Life Doreen Harrison / Book Paperback
common.buy 7.66 €
Algebraic Methodology and Software Technology Michael Johnson / Book Paperback
common.buy 113.08 €
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Book Hardback
common.buy 26.85 €
Delivering Change Jeroen Rijke / Book Paperback
common.buy 80.97 €
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Book Hardback
common.buy 95.51 €
Coming soon
Le Tour: A History of the Tour de France Geoffrey Wheatcroft / Book Paperback
common.buy 9.68 €
Harold Wilson Ben Pimlott / Book Paperback
common.buy 21.19 €

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?