Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gabmeyer, Sebastian. (Editor), Johnsen, Einar Broch. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Programming and Software Engineering ; 10375
Subjects:
Software engineering.
Computer organization.
Computer logic.
Artificial intelligence.
Computer-aided engineering.
Computer programming.
Software Engineering.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Artificial Intelligence.
Computer-Aided Engineering (CAD, CAE) and Design.
Programming Techniques.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items