«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

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods and Software Engineering Jing Sun
Código Libristo: 20235109
Editores Springer Nature Switzerland AG, octubre 2018
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engine... 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

sfida Patrick Süskind / Libro Tapa dura
common.buy 17.19 €

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

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 Jing Sun, Meng Sun
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2018
Número de páginas 474
EAN 9783030024499
Código Libristo 20235109
Editores Springer Nature Switzerland AG
Peso 753
Dimensiones 155 x 235 x 27

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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 > Análisis y diseño de sistemas
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

Republic lato / Libro Tapa blanda
common.buy 17.79 €
Early Christian Thought in its Jewish Context John M. G. BarclayJohn Philip McMurdo Sweet / Libro Tapa blanda
common.buy 58.99 €
Stars Richard Dyer / Libro Tapa blanda
common.buy 54.49 €
The Invisible Organization: How Ingenious CEOs are Creating Thriving, Virtual Companies Mitch Russo / Libro Tapa blanda
common.buy 20.09 €
History Of Whitingham: From Its Organization To The Present Time (1886) Leonard Brown / Libro Tapa dura
common.buy 43.59 €
T. LIVII Patavini Historiarum Libri Qui Supersunt Omnes Et Deperditorum Fragmenta: Libri 7 - 23, Volume 2 Titus Livius / Libro Tapa blanda
common.buy 27.89 €

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?