Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Ein kritisches Werk über formale Methoden, gewidmet Frank de Boers sechzigjährigem Ehrentag; es verbindet theoretische Grundlagen mit praxisnahen Fa ...