Reihe Lecture Notes in Computer ScienceMarkus Müller-Olm × Variations on ConstantsFlow Analysis of Sequential and Parallel ProgramsMarkus Müller-OlmSpringer BerlineBook200653,49 € Variations on ConstantsFlow Analysis of Sequential and Parallel ProgramsMarkus Müller-OlmSpringer BerlinSoftcover200653,49 € Modular Compiler VerificationA Refinement-Algebraic Approach Advocating Stepwise AbstractionMarkus Müller-OlmSpringer BerlineBook200553,49 € Modular Compiler VerificationA Refinement-Algebraic Approach Advocating Stepwise AbstractionMarkus Müller-OlmSpringer BerlinSoftcover199753,49 €
