«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

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Algebraic Methodology and Software Technology Maurice Nivat
Código Libristo: 05274595
Editores Springer, Berlin, noviembre 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Descripción completa
? points 249 b
101.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

CIA Tim Weiner / Libro Tapa blanda
common.buy 16.09 €
Popular
Nevera Juliet Rosenfeld / Libro Tapa blanda
common.buy 19.39 €
La Charmante librairie des amours lointaines Jenny Colgan / Libro Tapa blanda
common.buy 13.09 €
English Folk Tales of Coast and Sea Lisa Schneidau / Libro Tapa dura
common.buy 22.79 €
Próximamente
Návštěva na Godenholmu Ernst Jünger / Libro Tapa blanda
common.buy 10.69 €
Pringel und Finn Wreaders Verlag / Libro Tapa dura
common.buy 15.19 €
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Libro Tapa dura
common.buy 30.89 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Libro Tapa blanda
common.buy 30.79 €
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Libro Tapa blanda
common.buy 31.69 €
Wahrungskrieg IV Song Hongbing / Libro Tapa blanda
common.buy 28.89 €
Einsichten - Ausblicke Albert Hofmann / Libro electrónico Adobe ePub DRM
common.buy 15.09 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Libro Tapa dura
common.buy 26.00 €
Au commencement du temps Bogdanov / Libro Tapa blanda
common.buy 23.89 €
L'Idiot de la famille Sartre / Libro Tapa dura
common.buy 71.69 €
Vier Stern Stunden Daniel Glattauer / Libro Tapa dura
common.buy 16.99 €
Rauch, 2 DVDs Iwan S. Turgenjew / Video DVD
common.buy 19.39 €
Koerper trifft Seele Viktoria Georgi / Libro Tapa blanda
common.buy 12.99 €

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

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 Maurice Nivat, Martin Wirsing
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1996
Número de páginas 647
EAN 9783540614630
ISBN 354061463X
Código Libristo 05274595
Editores Springer, Berlin
Peso 850
Dimensiones 156 x 234 x 33

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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 > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Libro Tapa dura
common.buy 129.39 €
Computational Mechanics 95, 4 S.N. Atluri / Libro Tapa blanda
common.buy 101.79 €
The Cavalier George Washington Cable / Libro Tapa blanda
common.buy 8.39 €
Próximamente
Cruel Crown Victoria Aveyard / Libro Tapa blanda
common.buy 7.79 €
Popular Próximamente
Attack On Titan: Colossal Edition 3 Hajime Isayama / Libro Tapa blanda
common.buy 34.89 €
Radical Traditions in Education in the 21st Century Ken Jones / Libro Tapa blanda
common.buy 47.79 €
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests North Carolina Eog Exam Secrets Test Pre / Libro Tapa blanda
common.buy 39.99 €
Most Way Home Kevin Young / Libro Tapa blanda
common.buy 15.39 €
Great Antonio Elise Gravel / Libro Tapa dura
common.buy 11.69 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Libro Tapa blanda
common.buy 18.29 €
Eagle Visions Cindi Clarke Summerlin / Libro Tapa blanda
common.buy 9.79 €
The Nigger from The Black Lagoon Shane Williams / Libro Tapa dura
common.buy 22.99 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Libro Tapa blanda
common.buy 110.19 €
Extracted Clover Autrey / Libro Tapa blanda
common.buy 10.69 €
Collins Birds of the World Norman Arlott / Libro Tapa dura
common.buy 84.99 €
Energy for Propulsion Akshai K. Runchal / Libro Tapa blanda
common.buy 109.49 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Libro Tapa blanda
common.buy 40.69 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Libro Tapa blanda
common.buy 49.79 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / Libro electrónico Adobe ePub DRM
common.buy 210.79 €
Thoughts to Reflect On Robert Burns / Libro Tapa dura
common.buy 26.09 €
Where the Road Leads Sallie Smith Tribou / Libro Tapa dura
common.buy 23.89 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Libro Tapa blanda
common.buy 118.19 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Libro Libro
common.buy 3 325.69 €
Popular
After the Ice Steven Mithen / Libro Tapa blanda
common.buy 19.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?