Algorithms to Live By The Computer Science of Human Decisions
Brian Christian, Tom Griffiths
Tools and Algorithms for the Construction and Analysis of Systems
de Tomás Vojnar
Gratuit
- Langue
- Anglais
- Parution
- 2019
- Éditeur
- Springer International Publishing
- Pages
- 433
- ISBN
- 9783030174620
Thèmes
Édition originale
Tools and Algorithms for the Construction and Analysis of SystemsParu pour la première fois en 2019 Anglais Springer International Publishing
Autres éditions (5)
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
- Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Pas encore de résumé pour cette édition.
Ouverture de la liseuse…
Aucun avis pour l’instant. À toi d’ouvrir le bal !
Les lecteurs ont aussi aimé
Refactoring Improving the Design of Existing Code
Martin Fowler, Kent Beck
Weapons of Math Destruction How Big Data Increases Inequality and Threatens Democracy
Cathy O'Neil
The Information A History, a Theory, a Flood
James Gleick
À lire gratuitement
Fundamental Approaches to Software Engineering
Alessandra Russo
Computer Aided Verification
Hana Chockler
Foundations of Software Science and Computation Structures
FOSSACS Uppsala, ETAPS Uppsala
Computer Aided Verification
Isil Dillig