Verificación formal de algoritmos

(Author) (Author)
Verificación formal de algoritmos

This product is not available in the selected currency.
Not Available
4.9/5.0
21,000+ Reviews
Bookshop.org has the highest-rated customer service of any bookstore in the world

Product Details

Price
£9.00
Publisher
Servicio de Publicaciones de la Universidad de Cad
Publish Date
Language
Spanish
Type
Paperback
EAN/UPC
9788498282641

Earn By Promoting Books

Earn money by sharing your favourite books through our Affiliate programme.

Become an Affiliate
The Space of the World: Can Human Solidarity Survive Social Media and What If It Can't?
The Afterlife of Data: What Happens to Your Information When You Die and Why You Should Care
Hum: The thrilling, feminist speculative novel
Our Enemies Will Vanish: The Russian Invasion and Ukraine's War of Independence
The Long History of the Future: Why tomorrow's technology still isn't here
AI Snake Oil: What Artificial Intelligence Can Do, What It Can’t, and How to Tell the Difference
Devil in the Stack: A Coding Odyssey
Make: Electronic Music from Scratch: A Beginner's Guide to Homegrown Audio Gizmos
Middle Tech: Software Work and the Culture of Good Enough
Fancy Bear Goes Phishing: The Dark History of the Information Age, in Five Extraordinary Hacks
Sparks: China's Underground Historians and Their Battle for the Future
The Typewriter Revolution: A Typist's Companion for the 21st Century
Death Glitch: How Techno-Solutionism Fails Us in This Life and Beyond
Optimal Illusions: The False Promise of Optimization
Blood in the Machine: The Origins of the Rebellion Against Big Tech