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

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

Talia Ringer

Precio
€ 64,49

Pedido desde almacén remoto

Entrega prevista 22 - 29 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

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

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