Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Hardback or Cased Book. Condizione: New. Automated Theorem Proving in Software Engineering. Book.
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Hardback or Cased Book. Condizione: New. Vortr�ge Reden Erinnerungen. Book.