«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.

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Eerke A. Boiten
Código Libristo: 01559229
Editores Springer, Berlin, noviembre 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Simulieren Und Entscheiden Michael Resch / Libro Tapa blanda
common.buy 58.09 €
Lukittu Unkuri / Audiolibro MP3
common.buy 10.19 €
Telemedizin Karolina Budych / Libro electrónico Adobe ePub DRM
common.buy 30.19 €
Hitlers Rache Friedrich-Wilhelm von Hase / Libro electrónico Adobe ePub DRM
common.buy 11.59 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Libro Tapa blanda
common.buy 18.69 €
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio CD de audio
common.buy 18.99 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Libro Tapa blanda
common.buy 56.29 €
Miraculous-X-mas Box-Hörspiele / Audio CD de audio
common.buy 15.89 €
Psychiatrie Wolfgang Frank / Libro Tapa blanda
common.buy 56.09 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Libro Tapa blanda
common.buy 29.49 €
Streichquartett Nr. 1 Isang Yun / Libro Hoja
common.buy 65.89 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Libro Tapa blanda
common.buy 67.89 €
Totschlager Emil (Ü: Franz Blei) Zola / Libro Tapa blanda
common.buy 19.79 €

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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 Integrated Formal Methods
Autor Eerke A. Boiten, John Derrick, Graeme Smith
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 548
EAN 9783540213772
ISBN 3540213775
Código Libristo 01559229
Editores Springer, Berlin
Peso 820
Dimensiones 156 x 234 x 28

Categorías

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
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

Welsh Calendar Cookbook Gilli Davies / Libro Tapa blanda
common.buy 10.59 €
Memories That Smell like Gasoline David Wojnarowicz / Libro electrónico Adobe ePub DRM
common.buy 18.29 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Libro Tapa dura
common.buy 208.69 €
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Libro Tapa blanda
common.buy 15.49 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Libro Tapa blanda
common.buy 29.49 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Libro Tapa blanda
common.buy 88.39 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Libro Tapa dura
common.buy 228.59 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Libro Tapa blanda
common.buy 56.79 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Libro Tapa dura
common.buy 349.89 €
Replacement of Renal Function by Dialysis C. Jacobs / Libro Tapa dura
common.buy 119.09 €
Terror in Ireland David Fitzpatrick / Libro Tapa blanda
common.buy 20.39 €
Color Atlas of Thyroid Surgery Youn / Libro Tapa dura
common.buy 143.69 €
Anatomy of High Performing Teams Marilyn Laiken / Libro Tapa blanda
common.buy 48.79 €
New York Yankees Matt Christopher / Libro Tapa blanda
common.buy 10.39 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Libro Tapa blanda
common.buy 11.99 €

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?