Busquedas:
- Autor/Editor: Binoy, Ravindran
- Autor/Editor: Ramon, Jan
- Autor/Editor: Rubin, Julia
- Autor/Editor: Ulidowski, Irek
- Autor/Editor: Tan, Wenrong
- Autor/Editor: Crespi Reghizzi, Stefano
- Autor/Editor: Chang, Yi
- Autor/Editor: Rossi, Matteo
- Autor/Editor: Nanda, Pradipta Kumar
- Autor/Editor: Podelski, Andreas
- Autor/Editor: Shi, Yinghuan
- Autor/Editor: Mitra, Prasenjit
- Autor/Editor: Akbar Hussain, Dil Muhammad
- Autor/Editor: Aslam Uqaili, Muhammad
- Autor/Editor: Ourselin, Sebastien
- Autor/Editor: Marchand-Maillet, Stéphane
1/1
Deductive Software Verification – The KeY Book
Autor/Editor: Ahrendt, Wolfgang - Beckert, Bernhard - Bubel, Richard - Hähnle, Reiner - Schmitt, Peter H. - Ulbrich, Mattias
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Programming Languages - Compilers - Interpreters - Artificial Intelligence (incl. Robotics)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10001
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-49812-6
ISSN-e: 1611-3349