«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

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods and Software Engineering Shaoying Liu
Código Libristo: 01570773
Editores Springer, Berlin, noviembre 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

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

Clientes que también han comprado

Programmieren Lernen Peter Pepper / Libro Tapa blanda
common.buy 51.89 €
Grenzen, Nähe, Respekt Jesper Juul / Libro Tapa blanda
common.buy 12.99 €
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Libro Tapa blanda
common.buy 77.49 €
Richterrecht und Verfassung. Jörn Ipsen / Libro Tapa blanda
common.buy 67.69 €
Herrschaft Susanne Held / Libro Tapa dura
common.buy 26.29 €
matrimonio nel diritto ebraico Daniele Zaccheddu / Libro Tapa blanda
common.buy 35.89 €

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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 Shaoying Liu, Tom Maibaum, Keijiro Araki
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 397
EAN 9783540881933
ISBN 354088193X
Código Libristo 01570773
Editores Springer, Berlin
Peso 635
Dimensiones 155 x 235 x 21

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

NUMIFORM 2010 Frederic Barlat / Libro Tapa blanda
common.buy 522.69 €
Microelectronics Education Ton J. Mouthaan / Libro Tapa dura
common.buy 108.59 €
Horror Before It Was Cool Weasel Press / Libro Tapa blanda
common.buy 8.89 €
Lives Of Scottish Authors (1801) David Irving / Libro Tapa blanda
common.buy 24.89 €
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Libro Tapa blanda
common.buy 8.89 €
Embracing and Educating the Autistic Child Nicholas D. Young / Libro Tapa blanda
common.buy 43.09 €
I Love You God Amal Ishraim / Libro Tapa blanda
common.buy 10.09 €
Essay Towards an Easy and Useful System of Logic Robert Blakey / Libro Tapa dura
common.buy 33.69 €
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Libro Tapa blanda
common.buy 6.69 €
So Far, So Goude Jean-Paul Goude / Libro Tapa dura
common.buy 112.49 €
Popular
Yacoubian Building Alaa Al Aswany / Libro Tapa blanda
common.buy 11.69 €
Orienting Polymers J.-L. Ericksen / Libro Tapa blanda
common.buy 28.49 €
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Libro Tapa blanda
common.buy 162.79 €

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