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

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

30-day return policy

Customers also purchased

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

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 39 828 Ft
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 11 767 Ft
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Book Hardback
common.buy 10 325 Ft
Establishing Our Life in Christ Rayola Kelley / Book Paperback
common.buy 7 444 Ft
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Book Paperback
common.buy 2 899 Ft
Civil Disobedience and Other Essays Henry David Thoreau / Book Paperback
common.buy 5 250 Ft
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Book Paperback
common.buy 6 058 Ft
Introduction To C Programming Sheetal Patil / Book Paperback
common.buy 12 500 Ft
Alan Ball: The Man in White Boots David Tossell / Book Paperback
common.buy 6 090 Ft
Harold Wilson Ben Pimlott / Book Paperback
common.buy 8 061 Ft
Death on the River Clare Chase / Book Paperback
common.buy 4 518 Ft
Puligny-Montrachet Loftus Simon / Book Paperback
common.buy 5 297 Ft
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Book Paperback
common.buy 2 941 Ft
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Book Paperback
common.buy 24 035 Ft
American Independence And The French Revolution (1760-1801) Kenneth Bell / Book Paperback
common.buy 4 545 Ft
Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras Vaibhav Verdhan / Book Paperback
common.buy 16 238 Ft
All the Summer Girls Meg Donohue / Audiobook MP3
common.buy 4 179 Ft
Keep me as the apple of the eye / Printed items Sheet music
common.buy 1 911 Ft
Pain to Peace J. Young / Book Paperback
common.buy 3 882 Ft
Evolving Doctrine Moran / Book Paperback
common.buy 6 340 Ft
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Book Hardback
common.buy 36 577 Ft
English in Mind Levels 3A and 3B Combo Teacher's Resource Book Brian Hart / Book Spiral bound
common.buy 24 313 Ft
Algebraic Methodology and Software Technology Michael Johnson / Book Paperback
common.buy 43 798 Ft
Coming soon
Le Tour: A History of the Tour de France Geoffrey Wheatcroft / Book Paperback
common.buy 3 706 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?