New Arrivals Just Landed 
Pinch to
zoom

Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings

Halbwachs, Nicolas

$54.99

Quantity
Product Details
Publisher
pringer
Publish Date
June 1999
Pages
506
Language
English
Type
Trade Paperback
EAN/UPC
9783540662020
Weight
0.0 lb
BISAC Categories
Logic Design
About the Author

Halbwachs, Nicolas

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