Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques fo
| PUBLISHER | Springer (09/30/2000) |
| PRODUCT TYPE | Hardcover (Hardcover) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780792379683
ISBN-10:
0792379683
Binding:
Hardback or Cased Book (Sewn)
Content Language:
English
More Product Details
Page Count:
412
Carton Quantity:
20
Product Dimensions:
6.14 x 0.94 x 9.21 inches
Weight:
1.70 pound(s)
Feature Codes:
Bibliography,
Illustrated
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Software Development & Engineering - General
Computers | Networking - Hardware
Computers | Artificial Intelligence - General
Dewey Decimal:
004.36
Library of Congress Control Number:
00-61057
List Price $219.99
Your Price
$217.79