New Arrivals Just Landed 
Pinch to
zoom

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Bochmann, Gregor Von

$54.99

Quantity
Product Details
Publisher
pringer
Publish Date
March 1993
Pages
426
Language
English
Type
Trade Paperback
EAN/UPC
9783540564966
Weight
0.0 lb
BISAC Categories
Logic
About the Author

Bochmann, Gregor Von

Frequently Bought Together

+
+

Total: $78.97

You May Also Like

Walter Benjamin: A Critical Life primary image
Walter Benjamin: A Critical Life
Eiland, Howard
$27.00
10 Choices Successful Couples Make: The Secret to Love That Lasts a Lifetime primary image
10 Choices Successful Couples Make: The Secret to Love That Lasts a Lifetime
Welch, Ron
$17.00
Blood Lines primary image
Blood Lines
DeMille, Nelson
$33.00
The Birth of Civilization in the Near East primary image
The Birth of Civilization in the Near East
Frankfort, Henri 1897-1954
$17.95
From Sea to Shining Sea for Young Readers: 1787-1837 primary image
From Sea to Shining Sea for Young Readers: 1787-1837
Marshall, Peter
$18.00
What Do You Hear When Cows Sing?: And Other Silly Riddles primary image
What Do You Hear When Cows Sing?: And Other Silly Riddles
Maestro, Marco
$4.99