New Arrivals Just Landed 
Pinch to
zoom

Specification in B: An Introduction Using the B Toolkit

Haughton, Howard

$45.00

Quantity
Product Details
Publisher
mperial College Press
Publish Date
April 1996
Pages
252
Language
English
Type
Trade Paperback
EAN/UPC
9781860940187
Weight
0.0 lb
BISAC Categories
Programming - General
About the Author

Haughton, Howard

Frequently Bought Together

+
+

Total: $68.98

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