«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Algebraic Methodology and Software Technology

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

Idioma InglésInglés
Libro Tapa blanda
Libro Algebraic Methodology and Software Technology José Meseguer
Código Libristo: 01570336
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2008
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Descripción completa
? points 138 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / Libro electrónico Adobe ePub DRM
common.buy 42.89 €
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Libro Hoja
common.buy 3.89 €
Obstetricia, reproducción y ginecología básicas Fernando Bonilla Musoles / Libro Tapa blanda
common.buy 97.59 €
Thomas de Stoomlocomotief - Het mysterie van de Blauwe Bergen Mattel / Audiolibro MP3
common.buy 4.19 €
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Libro Tapa blanda
common.buy 59.79 €
Educazione indiana Ram Pace / Libro Tapa blanda
common.buy 21.39 €
Madres, avisad a vuestras hijas Bonnie Jo Campbell / Libro electrónico Adobe ePub DRM
common.buy 15.10 €
El gran funeral / Libro Tapa blanda
common.buy 24.19 €
Berlinische im Comic Franz Krober / Libro Tapa blanda
common.buy 17.90 €
Frauen aus Deutschland Achim Seiffarth / Libro Tapa blanda
common.buy 10.69 €
O prasátku Lojzíkovi Pavel Ondrašíkovi / Libro Tapa dura
common.buy 7.69 €
Dva a půl muže ve člunu Williams Nigel / Libro Tapa dura
common.buy 10.49 €
Económico
El poder del metabolismo Frank Suárez / Libro Tapa blanda
common.buy 21.00 €
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Libro Tapa blanda
common.buy 35.49 €
Allegorie als hermeneutisches Mittel am Beispiel der Minnegrotte im 'Tristan' Gottfrieds von Strassburg Stefanie Busch / Libro Tapa blanda
common.buy 17.89 €
Faust I, 3 Audio-CD Johann W. von Goethe / Audio CD de audio
common.buy 15.00 €
Single in the rain (Un canto a la vida en single) LOLA / Libro Tapa blanda
common.buy 22.39 €
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Libro Tapa dura
common.buy 28.69 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Algebraic Methodology and Software Technology
Autor José Meseguer, Grigore Rosu
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 434
EAN 9783540799795
ISBN 3540799796
Código Libristo 01570336
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 688
Dimensiones 155 x 235 x 25

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Tournament Solutions and Majority Voting J.-Francois Laslier / Libro Tapa blanda
common.buy 112.89 €
Fencing Paradise Richard Mabey / Libro Tapa blanda
common.buy 29.19 €
Establishing Our Life in Christ Rayola Kelley / Libro Tapa blanda
common.buy 20.59 €
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Libro Tapa blanda
common.buy 7.79 €
Popular
Red Tenda of Bologna John Berger / Libro Tapa blanda
common.buy 4.89 €
Civil Disobedience and Other Essays Henry David Thoreau / Libro Tapa blanda
common.buy 14.19 €
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Libro Tapa blanda
common.buy 16.40 €
Yoga for Kids and Their Grown-Ups: 100+ Fun Yoga and Mindfulness Activities to Practice Together Katherine Ghannam / Libro Tapa blanda
common.buy 13.79 €
Introduction To C Programming Sheetal Patil / Libro Tapa blanda
common.buy 35.49 €
Alan Ball: The Man in White Boots David Tossell / Libro Tapa blanda
common.buy 17.29 €
Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR / Libro Tapa dura
common.buy 31.79 €
Imaging Biomarkers in Epilepsy Andrea Bernasconi / Libro Tapa dura
common.buy 235.49 €
Death on the River Clare Chase / Libro Tapa blanda
common.buy 12.19 €
Reunion London Hale / Libro Tapa blanda
common.buy 8.89 €
Puligny-Montrachet Loftus Simon / Libro Tapa blanda
common.buy 14.99 €
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Libro Tapa blanda
common.buy 7.99 €
Anthology of Magazine Verse for 1913-29 and Yearbook of American Poetry Alain LeRoy Locke / Libro Tapa blanda
common.buy 21.80 €
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Libro Tapa blanda
common.buy 60.49 €
American Independence And The French Revolution (1760-1801) Kenneth Bell / Libro Tapa blanda
common.buy 12.29 €
Allies and Advocates Cabral / Libro Tapa dura
common.buy 18.99 €
Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras Vaibhav Verdhan / Libro Tapa blanda
common.buy 43.59 €
All the Summer Girls Meg Donohue / Audiolibro MP3
common.buy 12.49 €
Games and the Fight: An Untold Story Benny Sinclair / Libro Tapa blanda
common.buy 15.79 €
Financial Mathematics Roman N Makarov / Libro Tapa blanda
common.buy 87.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?