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 € GLS courier 4.99 €
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 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Allegorie als hermeneutisches Mittel am Beispiel der Minnegrotte im 'Tristan' Gottfrieds von Strassburg Stefanie Busch / Book Paperback
common.buy 17.95 €
Las memorias del Mariscal Soult Zbigniew Guscin / Book Hardback
common.buy 22.29 €
La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / E-book Adobe ePub DRM
common.buy 40.09 €
Berlinische im Comic Franz Krober / Book Paperback
common.buy 17.95 €
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Book Paperback
common.buy 59.69 €
O prasátku Lojzíkovi Pavel Ondrašíkovi / Book Hardback
common.buy 7.09 €
Faust I, 3 Audio-CD Johann W. von Goethe / Audio Audio CD
common.buy 14.99 €
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Book Hardback
common.buy 26.99 €
Single in the rain (Un canto a la vida en single) LOLA / Book Paperback
common.buy 22.29 €
Frauen aus Deutschland Achim Seiffarth / Book Paperback
common.buy 10.69 €
Dva a půl muže ve člunu Williams Nigel / Book Hardback
common.buy 10.19 €
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Book Sheet
common.buy 3.39 €
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Book Paperback
common.buy 33.59 €
Top
El poder del metabolismo Frank Suárez / Book Paperback
common.buy 26.19 €

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

Tournament Solutions and Majority Voting J.-Francois Laslier / Book Paperback
common.buy 107.29 €
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 31.79 €
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Book Hardback
common.buy 27.89 €
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Book Paperback
common.buy 7.79 €
Reunion London Hale / Book Paperback
common.buy 8.89 €
Civil Disobedience and Other Essays Henry David Thoreau / Book Paperback
common.buy 14.19 €
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Book Paperback
common.buy 16.39 €
Yoga for Kids and Their Grown-Ups: 100+ Fun Yoga and Mindfulness Activities to Practice Together Katherine Ghannam / Book Paperback
common.buy 13.49 €
Introduction To C Programming Sheetal Patil / Book Paperback
common.buy 33.59 €
Alan Ball: The Man in White Boots David Tossell / Book Paperback
common.buy 16.89 €
Establishing Our Life in Christ Rayola Kelley / Book Paperback
common.buy 20.09 €
Death on the River Clare Chase / Book Paperback
common.buy 12.19 €
Puligny-Montrachet Loftus Simon / Book Paperback
common.buy 14.69 €
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Book Paperback
common.buy 7.99 €
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Book Paperback
common.buy 67.89 €
American Independence And The French Revolution (1760-1801) Kenneth Bell / Book Paperback
common.buy 12.29 €
Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras Vaibhav Verdhan / Book Paperback
common.buy 43.59 €
All the Summer Girls Meg Donohue / Audiobook MP3
common.buy 12.39 €
Keep me as the apple of the eye / Printed items Sheet music
common.buy 5.29 €
Pain to Peace J. Young / Book Paperback
common.buy 10.39 €
Kingdom Encounters Ridley Hall / Book Paperback
common.buy 10.09 €
English in Mind Levels 3A and 3B Combo Teacher's Resource Book Brian Hart / Book Spiral bound
common.buy 61.99 €
Algebraic Methodology and Software Technology Michael Johnson / Book Paperback
common.buy 117.99 €
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Book Hardback
common.buy 98.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?