«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

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods Naijun Zhan
Código Libristo: 37633220
Editores Springer Nature Switzerland AG, noviembre 2021
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Descripción completa
? points 304 b
124.09 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

modernen Vater der Antike Annette M. Baertschi / Libro Tapa dura
common.buy 176.29 €
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Libro Tapa blanda
common.buy 11.59 €
Fundamenta Krestomatio L.L. Zamenhof / Libro Tapa blanda
common.buy 18.19 €
Trichoderma Jaimin Pandya / Libro Tapa blanda
common.buy 26.69 €
AUTOANALISIS CAVALIERE / Libro Tapa blanda
common.buy 12.49 €
Co-construction entre Idéalisme et Réalité Mounir / Libro Tapa blanda
common.buy 25.39 €

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

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
Autor Naijun Zhan, Corina Pasareanu
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2021
Número de páginas 800
EAN 9783030908690
ISBN 3030908690
Código Libristo 37633220
Editores Springer Nature Switzerland AG
Peso 1234
Dimensiones 155 x 235 x 44

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

Traditional Jewelry of India Oppi Untracht / Libro Tapa blanda
common.buy 39.69 €
Making It to Semany Haig Urum / Libro Tapa dura
common.buy 43.09 €
Your Black Friend Ben Passmore / Libro Tapa blanda
common.buy 6.69 €
Gas Card Reloaded Roxanne C Fredd / Libro Tapa blanda
common.buy 18.19 €
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Libro Tapa blanda
common.buy 9.39 €
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Libro Tapa dura
common.buy 112.79 €
Ireland, Slavery and the Caribbean Ciarán O'Neill / Libro Tapa dura
common.buy 119.29 €

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