Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 2 paginas       registros 51 al 52 de 52
Verification and Evaluation of Computer and Communication Systems
Autor/Editor: Atig, Mohamed Faouzi  Bensalem, Saddek  Bliudze, Simon  Monsuez, Bruno
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00359-3
    + info
Verified Software. Theories, Tools, and Experiments
Autor/Editor: Piskac, Ruzica  Rümmer, Philipp
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03592-1
    + info
[Anterior] de 2 paginas       registros 51 al 52 de 52