«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

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Dominique Méry
Código Libristo: 01656785
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... 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

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Libro Tapa blanda
common.buy 19.79 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Libro Tapa blanda
common.buy 35.79 €
Het oog der liefde Kent / Audiolibro MP3
common.buy 7.59 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Libro Tapa blanda
common.buy 8.89 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Libro Tapa blanda
common.buy 21.79 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Libro Tapa blanda
common.buy 28.49 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Libro Tapa blanda
common.buy 22.89 €
Potencial de Croacia como destino turístico para el mercado ruso / Libro Tapa blanda
common.buy 39.39 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Libro Tapa dura
common.buy 7.89 €
Jakobsweg ist uberall Olaf Behrens / Libro Tapa blanda
common.buy 16.29 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Libro Tapa blanda
common.buy 18.59 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Libro Tapa blanda
common.buy 16.79 €
Oberwallis Roland Nanzer / Libro Tapa dura
common.buy 36.79 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Libro Tapa blanda
common.buy 19.79 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Libro Tapa blanda
common.buy 17.89 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Libro Tapa blanda
common.buy 56.99 €
Schumann-Handbuch Ulrich Tadday / Libro Tapa dura
common.buy 34.99 €
Die Strafgewalt der Kirche. Wilhelm Rees / Libro Tapa blanda
common.buy 103.29 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Libro Tapa blanda
common.buy 15.19 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 7.59 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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 Dominique Méry, Stephan Merz
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 337
EAN 9783642162640
ISBN 3642162649
Código Libristo 01656785
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 528
Dimensiones 155 x 235 x 19

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

Knight of the White Cross George Alfred Henty / Libro Tapa blanda
common.buy 17.79 €
To Duel With the Hands of God James R Elliott / Libro Tapa blanda
common.buy 16.09 €
Coffee Table Conversations Tina Divina / Libro Tapa blanda
common.buy 20.99 €
Multivariate Statistical Analysis V.I. Serdobolskii / Libro Tapa blanda
common.buy 112.79 €
Miscellanies Upon Various Subjects John Aubrey / Libro Tapa blanda
common.buy 14.89 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Libro Tapa blanda
common.buy 23.69 €
Alpha Jasinda Wilder / Libro Tapa blanda
common.buy 16.99 €
How to Analyze People Ryan James / Libro Tapa blanda
common.buy 19.19 €
Demographic Masculinization of China Isabelle Attané / Libro Tapa dura
common.buy 56.59 €
Transcending Textuality Ariadna Garcia Bryce / Libro Tapa blanda
common.buy 49.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