Reihe Lecture Notes in Computer ScienceAnne Mulkers ×Springer Berlin × Live Data Structures in Logic ProgramsDerivation by Means of Abstract InterpretationAnne MulkersSpringer BerlineBook200553,49 € Live Data Structures in Logic ProgramsDerivation by Means of Abstract InterpretationAnne MulkersSpringer BerlinSoftcover199353,49 €
