ISBN: 9783642182747 - verification, model checking, and abstract interpretation: 12th international conference, vmcai 2011, austin, tx, usa, january 23-25, 2011 proceedings (6538) (3 risultati)

Perfeziona la tua ricerca

  • Libri (3)

a

Fascia di prezzo personalizzata (EUR)

a