User Acceptance Testing
Brian Hambling, Pauline van Goethem
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
de Isil Dillig
2 / 10 1 note
- Langue
- Anglais
- Parution
- 2019
- Éditeur
- Springer International Publishing
- Pages
- 673
- ISBN
- 9783030255398
Thèmes
- Programming
- Mathematics
- Business & Economics
- Computer Science
- Computers
- Computer Simulation
- Computer Networks
- Discrete Mathematics
- Artificial intelligence
- Software Engineering
- Information technology
- Hardware
- Careers
- Software Development & Engineering
- Computer Modelling
- Computer Engineering
- Systems Analysis & Design
- Compilers
- The Computing Profession (Springer)
Édition originale
Computer Aided VerificationParu pour la première fois en 2019 Anglais Springer International Publishing
Autres éditions (4)
Pas encore de résumé pour cette édition.
Aucun avis pour l’instant. À toi d’ouvrir le bal !
Les lecteurs ont aussi aimé
Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers
Angelo Sifaleras, Said Salhi, Jack Brimberg
Algorithms to Live By The Computer Science of Human Decisions
Brian Christian, Tom Griffiths
Weapons of Math Destruction How Big Data Increases Inequality and Threatens Democracy
Cathy O'Neil
À lire gratuitement
Tools and Algorithms for the Construction and Analysis of Systems
Tomás Vojnar
Fundamental Approaches to Software Engineering
Alessandra Russo
Computer Aided Verification
Hana Chockler
Foundations of Software Science and Computation Structures
FOSSACS Uppsala, ETAPS Uppsala