Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Product ID: 3658126795
Condition: New
$ 206
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer Vieweg
Binding
Paperback
PartNumber
26 colour illustrations, 13 black & whit
IsAdultProduct
Height
8.26998346
Length
5.82998834
Weight
0.50044933474
Width
0.42
ReleaseDate
2016-03-17T00:00:01Z
NumberOfItems
1
Author
Herdt, Vladimir
You might also like
Rayten 865 Radiator | AT/MT: AT
McGraw Family Name - Team McGraw Lifetime Member T-Shirt, Youth, Black, Medium
HANN&CO Washable Reusable High Flow Durable Cabin Air Filter（HCC2145-X）
Best Of Tango Argentino
How To Find Oneself
Ma Visite À Henri Sanson, Bourreau De Paris (French Edition)
Wave Scalloped Jute Runner Handwoven Hallway Runner 2'6"x16' Black
Men's Herringbone Tweed Blazer with Elbow Patches Grey XL