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

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Software Engineering and Formal Methods Einar Broch Johnsen
Código Libristo: 19406916
Editores Springer International Publishing AG, mayo 2018
This book constitutes the refereed proceedings of the 16th International Conference on Software Engi... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Ti amo - Summerheat Virginia Cole / Libro Tapa blanda
common.buy 6.99 €
Zuerst das Leben! Willy Ronis in der DDR. 1960-67 Ronan Guinée / Libro Tapa dura
common.buy 36.49 €
Abgehauen Grit Poppe / Libro Tapa blanda
common.buy 9.59 €

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

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 Software Engineering and Formal Methods
Autor Einar Broch Johnsen, Ina Schaefer
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2018
Número de páginas 303
EAN 9783319929699
ISBN 3319929690
Código Libristo 19406916
Editores Springer International Publishing AG
Peso 4861
Dimensiones 155 x 235 x 17

Categorías

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

John the Baptist Frederick Brotherton Meyer / Libro Tapa blanda
common.buy 12.89 €
Próximamente
New Headway: Upper-Intermediate B2: Workbook + iChecker with Key Soars John and Liz / Libro Tapa blanda
common.buy 15.59 €
How to Teach English Language Learners Diane S. Haager / Libro Tapa blanda
common.buy 24.29 €
Notices Of The War Of 1812 V1 John Armstrong / Libro Tapa blanda
common.buy 28.79 €
Comparative View Of The Social Life Of England And France Mary Berry / Libro Tapa blanda
common.buy 40.69 €
Beginning App Development with Flutter Rap Payne / Libro Tapa blanda
common.buy 43.59 €
Happy Reader - Issue 15 / Libro Tapa blanda
common.buy 9.59 €
The Philosophy of Magic, Prodigies and Apparent Miracles Eusebe Salverte / Libro Tapa blanda
common.buy 32.79 €
Sustainability Challenges in the Fashion Industry Miguel Ángel Gardetti / Libro Tapa blanda
common.buy 110.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?