Envío express con hasta 50% OFF  Ver más

Enviar a
Quito, Pichincha
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 Ernst Rudiger Olderog

Encontramos 6 Libros para ernst rudiger olderog

Estado:TodosNuevosUsadosAnticuariosNuevo
real-time systems,formal specification and automatic verification

real-time systems,formal specification and automatic verification

ernst-rudiger olderog
cambridge univ pr, Nuevo
45%
dcto.

$ 264.90

$ 145.69
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (en Inglés)

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (en Inglés)

Olderog, Ernst-Rüdiger ; Steffen, Bernhard ; Yi, Wang
Springer, Tapa Blanda, Nuevo
40%
dcto.

$ 130.95

$ 78.57
Provably Correct Systems (en Inglés)

Provably Correct Systems (en Inglés)

Hinchey, Mike ; Bowen, Jonathan P. ; Olderog, Ernst-Rüdiger
Springer, Tapa Dura, Nuevo
40%
dcto.

$ 190.95

$ 114.57
Provably Correct Systems (en Inglés)

Provably Correct Systems (en Inglés)

Hinchey, Mike ; Bowen, Jonathan P. ; Olderog, Ernst-Rüdiger
Springer, Tapa Blanda, Nuevo
40%
dcto.

$ 190.95

$ 114.57
Programmverifikation: Sequentielle, Parallele und Verteilte Programme (en Alemán)

Programmverifikation: Sequentielle, Parallele und Verteilte Programme (en Alemán)

Krzysztof R. Apt; Ernst-Rüdiger Olderog
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 87.06

$ 47.88
Verification of Sequential and Concurrent Programs (en Inglés)

Verification of Sequential and Concurrent Programs (en Inglés)

Krzysztof R. Apt; Ernst-Rüdiger Olderog
Springer, Nuevo
50%
dcto.

$ 106.46

$ 53.23

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