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

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro FM 2012: Formal Methods Dimitra Giannakopoulou
Código Libristo: 01661952
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... 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

Dárek z pouti Luboš Kafka / Libro Tapa dura
common.buy 24.59 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Libro Tapa blanda
common.buy 47.29 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Libro Tapa dura
common.buy 39.39 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Libro Tapa blanda
common.buy 14.89 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Libro Tapa blanda
common.buy 60.89 €
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / Libro electrónico Adobe ePub DRM
common.buy 6.89 €
Postdata E.M.A / Libro Tapa blanda
common.buy 16.69 €

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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 FM 2012: Formal Methods
Autor Dimitra Giannakopoulou, Dominique Mery
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 488
EAN 9783642327582
ISBN 3642327583
Código Libristo 01661952
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 765
Dimensiones 155 x 235 x 28

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Arquitectura de la información
Computación e informática > Hardware (o soporte físico del ordenador) > Mantenimiento y reparación
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

Th Thorium Robert G. Behrens / Libro Tapa blanda
common.buy 640.49 €
Works of William H. Seward William Henry Seward / Libro Tapa blanda
common.buy 40.39 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Libro Tapa dura
common.buy 76.49 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Libro Tapa blanda
common.buy 337.89 €
Whistleblowing at Work David Lewis / Libro Tapa blanda
common.buy 119.99 €
Dancing With Danger Byrne Kerrigan Byrne / Libro Tapa blanda
common.buy 12.19 €
Life Behind Bars Gordon Culpin / Libro Tapa blanda
common.buy 19.09 €

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?