QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Libros - now publishers Inc - 9781680835946 - 3 de septiembre de 2019
En caso de que portada y título no coincidan, el título será el correcto

Talia Ringer
QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Talia Ringer

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

194 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de septiembre de 2019
ISBN13 9781680835946
Editores now publishers Inc
Páginas 194
Dimensiones 293 × 234 × 14 mm   ·   306 g
Lengua Inglés  

Más del mismo editor

Ver todo de Talia Ringer ( Ej. Paperback Book )