Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development
Product ID: B0GG9YBPPV
Condition: New
$ 70
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development
Technical Specifications
Country
USA
Manufacturer
Independently published
IsAdultProduct
Height
8
Length
5.25
Width
0.4
Author
Zion, Enrimus
You might also like
Easy-Going Waterproof 3-Piece Sofa Chair Cushion Cover Grayish Green
New Balance Unisex 9060 Sneakers, Grey/Beige, 6 US Women/4.5 US Men
New Balance Unisex 9060 Sneakers, Grey/Grey, 8 US Women/6.5 US Men
New Balance Unisex 9060 Sneakers, Grey/Beige, 10 US Women/8.5 US Men
New Balance Unisex 9060 Sneakers, Grey/Grey, 9 US Women/7.5 US Men
New Balance Unisex 9060 Sneakers, Grey/Beige, 7 US Women/5.5 US Men
New Balance Unisex 9060 Sneakers, Grey/Grey, 7.5 US Women/6 US Men
New Balance Unisex 9060 Sneakers, Grey/Grey, 8.5 US Women/7 US Men