Frank S. de Boer

Verification of Sequential and Concurrent Programs

Frank S. de Boer

$28.79 - $109.99

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Frank S. de Boer

$91.95 - $271.77

Formal Methods for Components and Objects: 8th Symposium on FormalMethods for Components and Objects, held in Eindhoven, The Netherlands, inNovember 2009

Frank S. de Boer

$60.03

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)

Frank S. de Boer

$60.35