Paperback or Softback. Condizione: New. Model Checking Software. Book.
Paperback or Softback. Condizione: New. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Cana. Book.