For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Frank S de Boer
Frank S de Boer is the author of "Formal Methods for Components and Objects" and "Verification of Sequential and Concurrent Programs".
Books by Frank S de Boer
View more
Verification of S...
Springer
Paperback:
$89.99
Formal Methods fo...
de Boer Frank S.
Electronic book text:
$99.00
Formal Methods fo...
Beckert Bernhard
Paperback:
Formal Methods fo...
de Boer Frank S.
Electronic book text:
$99.00