«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 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

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

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.79 €
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 €
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Libro Tapa dura
common.buy 27.89 €
Establishing Our Life in Christ Rayola Kelley / Libro Tapa blanda
common.buy 20.09 €
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Libro Tapa blanda
common.buy 7.79 €
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.39 €
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 €
Harold Wilson Ben Pimlott / Libro Tapa blanda
common.buy 22.99 €
Death on the River Clare Chase / Libro Tapa blanda
common.buy 12.19 €
Puligny-Montrachet Loftus Simon / Libro Tapa blanda
common.buy 15.09 €
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 €
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Libro Tapa blanda
common.buy 67.89 €
American Independence And The French Revolution (1760-1801) Kenneth Bell / Libro Tapa blanda
common.buy 12.29 €
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 €
Keep me as the apple of the eye / Artículos impresos Partituras
common.buy 5.39 €
Pain to Peace J. Young / Libro Tapa blanda
common.buy 10.39 €
Evolving Doctrine Moran / Libro Tapa blanda
common.buy 17.09 €
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Libro Tapa dura
common.buy 98.99 €
English in Mind Levels 3A and 3B Combo Teacher's Resource Book Brian Hart / Libro Anillas de fijación
common.buy 68.59 €
Algebraic Methodology and Software Technology Michael Johnson / Libro Tapa blanda
common.buy 124.09 €
Próximamente
Le Tour: A History of the Tour de France Geoffrey Wheatcroft / Libro Tapa blanda
common.buy 10.49 €

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?