Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Compilers

Formal Methods: State of the Art and New Directions


Mega Sale! Save 22% on the Formal Methods: State of the Art and New Directions by Brand: Springer at EMS Linux. MPN: 1 black & white tables, biography. Hurry! Limited time offer. Offer valid only while supplies last. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements,


Product Description

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Part Number:1 black & white tables, biography
Publisher:Springer
Studio:Springer
MPN:1 black & white tables, biography
EAN:9781848827356
Item Weight:1.26 pounds
Item Size:0.69 x 9.21 x 9.21 inches
Package Weight:0.95 pounds
Package Size:6.3 x 1.3 x 1.3 inches

Formal Methods: State of the Art and New Directions by Brand: Springer

Buy Now:
Formal Methods: State of the Art and New Directions

Brand: Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$159.00
$124.95
You Save: 21%


Quantity:  

 


View More In Compilers.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By TBS
ean: 8601400510285,

By Brand: Springer
mpn: 41 black & white illustrations, biograph, ean: 9783642307423, isbn: 3642307426,

By McCusker Guy
ean: 9781447111658, isbn: 1447111656,

By Roy Harkow
ean: 9780387945712, isbn: 0387945717,

By Mart n Abadi Luca Cardelli
mpn: biography, ean: 9781461264453, isbn: 1461264456,

By Springer
mpn: 100 black & white illustrations, biograp, ean: 9783642208348, isbn: 3642208347,

By Alan Holt
sku: BD3072705, mpn: 3 black & white tables, biography, ean: 9781849966559, isbn: 1849966559,

By Springer
sku: 9783642132438, ean: 9783642132438, isbn: 364213243X,

By Springer
ean: 9783319402284, isbn: 3319402285,

By Brand: Springer
ean: 9780792376446, isbn: 0792376447,



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.