Tiempo extra para leer - Hasta 80% dto  Ver más

Enviar a
Bogota, Cundinamarca
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. Libros 

Libros de K Rustan M Leino

Encontramos 7 Libros para k rustan m leino

Program Proofs (en Inglés)

Program Proofs (en Inglés)

K. Rustan M. Leino
The Mit Press, Tapa Blanda, Nuevo
50%
dcto.

$ 362.995

$ 181.497
Verification, Model Checking, and Abstract Interpretation: 17Th International Conference, Vmcai 2016, st. Petersburg, fl, Usa, January 17-19, 2016. Computer Science and General Issues) (en Inglés)

Verification, Model Checking, and Abstract Interpretation: 17Th International Conference, Vmcai 2016, st. Petersburg, fl, Usa, January 17-19, 2016. Computer Science and General Issues) (en Inglés)

Jobstmann Barbara,Leino K. Rustan M.
Springer, 1 edición, Tapa Blanda, Nuevo
50%
dcto.

$ 344.788

$ 172.394
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (en Inglés)

Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (en Inglés)

Silva, Alexandra ; Leino, K. Rustan M.
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 331.403

$ 165.701
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (en Inglés)

Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (en Inglés)

Silva, Alexandra ; Leino, K. Rustan M.
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 332.322

$ 166.161
Computer Aided Verification (en Inglés)

Computer Aided Verification (en Inglés)

Alexandra Silva;K. Rustan M. Leino
Springer Nature B.V., 2021, Tapa Blanda, Nuevo
50%
dcto.

$ 364.351

$ 182.176
Verification, Model Checking, and Abstract Interpretation. 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (en Inglés)

Verification, Model Checking, and Abstract Interpretation. 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (en Inglés)

Barbara Jobstmann;K. Rustan M. Leino
Springer Nature B.V., 2016, Tapa Blanda, Nuevo
50%
dcto.

$ 376.893

$ 188.447
tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer (en Inglés)

tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer (en Inglés)

Abdulla, Parosh Aziz ; Leino, K. Rustan M.
Springer, 2011, Tapa Blanda, Nuevo
45%
dcto.

$ 453.340

$ 249.337

Se han encontrado pocos libros. Puedes Repetir la Búsqueda sin exigir que estén presentes todos los términos buscados..