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

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods and Software Engineering Shengchao Qin
Código Libristo: 01659032
Editores Springer, Berlin, noviembre 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 8-11 días

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

Clientes que también han comprado

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Libro Tapa blanda
common.buy 89.49 €
Akademia owoce Opracowanie zbiorowe / Libro Tapa blanda
common.buy 2.69 €
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Libro Tapa blanda
common.buy 27.09 €
Die «andere» Familie Arbeitskreis "Repräsentationen" / Libro Tapa dura
common.buy 127.19 €
Commentaria in decem Categorias Aristotelis Simplicius / Libro Tapa dura
common.buy 179.39 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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 Formal Methods and Software Engineering
Autor Shengchao Qin, Zongyan Qiu
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2011
Número de páginas 670
EAN 9783642245589
ISBN 3642245587
Código Libristo 01659032
Editores Springer, Berlin
Peso 1143
Dimensiones 155 x 235 x 35

Categorías

Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
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
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

Paragraph Writing Jo Ellen Moore / Libro Tapa blanda
common.buy 15.19 €
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Libro Tapa blanda
common.buy 21.09 €
At The End Of The Day William J Epp / Libro Tapa blanda
common.buy 20.09 €
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Libro Tapa blanda
common.buy 9.79 €
Popular
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Libro Tapa blanda
common.buy 10.69 €
Vogue x Music Magazine Vogue / Libro Tapa dura
common.buy 59.69 €
Jean Prouvé Jean Prouvé / Libro Tapa dura
common.buy 28.19 €
Die verlore bokkie (Afrikaans) Amanda Jesperson / Libro Tapa blanda
common.buy 6.29 €
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Libro Tapa blanda
common.buy 54.09 €
Iron Ship-Building - With Practical Illustrations John Grantham / Libro Tapa dura
common.buy 39.29 €
Odes Sharon Olds / Libro Tapa blanda
common.buy 15.09 €
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Libro Tapa blanda
common.buy 38.39 €
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Libro Tapa dura
common.buy 95.89 €
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Libro Tapa dura
common.buy 36.59 €

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