QED at Large. A Survey of Engineering of Formally Verified Software, Paperback/Zachary Tatlock

Descriere YEO:

QED at Large. A Survey - Disponibil la elefant.ro

Pe YEO găsești QED at Large. A Survey de la now publishers Inc, în categoria Foreign Books.

Indiferent de nevoile tale, QED at Large. A Survey of Engineering of Formally Verified Software, Paperback/Zachary Tatlock din categoria Foreign Books îți poate aduce un echilibru perfect între calitate și preț, cu avantaje practice și moderne.

Preț: 748.99 Lei

Caracteristicile produsului QED at Large. A Survey

• Brand: now publishers Inc
• Categoria: Foreign Books
• Magazin: elefant.ro
• Ultima actualizare: 21-12-2024 01:38:29

Comandă QED at Large. A Survey Online, Simplu și Rapid

Prin intermediul platformei YEO, poți comanda QED at Large. A Survey de la elefant.ro rapid și în siguranță. Bucură-te de o experiență de cumpărături online optimizată și descoperă cele mai bune oferte actualizate constant.

Descriere magazin:
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.