Reihe Texts in Theoretical Computer Science. An EATCS SeriesDaniel Kroening × Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlinSoftcover201853,49 € Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlinHardcover201780,24 € Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlineBook201653,49 € Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlinHardcover200869,54 € Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlineBook200869,54 €
