1/1
Verification of Business Rules Programs
Autor/Editor: Berstel-Da Silva, Bruno
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Programming Techniques - Database Management - Artificial Intelligence (incl. Robotics) - Logics and Meanings of Programs
Tipo de documento: Monograph
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-40038-4