For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Pierre Wolper
Pierre Wolper is the author of "Computer Aided Verification" and "From Standard Logic to Logic Programming".
Books by Pierre Wolper
View more
From Standard Log...
Gochet, Paul
Paperback:
$54.95
Computer Aided Ve...
Wolper Pierre
Paperback:
$54.99
Computer Aided Ve...
Wolper Pierre
Paperback:
From Standard Log...
Gochet, Paul
Paperback:
$90.00