Verification of sequential and concurrent programs
Apt, Krzysztof R. and Ernst Rüdiger Olderog
Vendido por Moby Dick, Noordwijk, Holanda
Vendedor de AbeBooks desde 27 de septiembre de 2006
Usado
Cantidad disponible: 1 disponibles
Añadir al carrito