Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola (Lecture Notes in Computer Science)
Product Description
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola (Lecture Notes in Computer Science)
Technical Specifications
You might also like
WOODBRIDGE 63" L x 28.35" W Stone Resin Luxury Contemporary Solid Surface Freestanding Soaking Tub in Matte White
Univivi Premium Cotton Garment Bags for Hanging Clothes and Storage, 40 Inch Washable Suit Cover Bag with Extra Large 10" Gusset & Clear Window - Perfect for Suits, Coats, Jackets - 2 Pack
Lolalet Rotating Necklace Holder Stand with Metal Hooks, Spinning Display Carousels, Freestanding Organizer Hanger for Long Necklaces Chains, Mother's Day Birthday Gifts -Gold
Kentsky Electric Fireplace, 25" Electric Fireplace Inserts, Recessed Fireplace Heater with Remote Control, Adjustable Flame Colors, Timer&Overheating Protection, 750/1500W
Sable Watercolor Brushes Professional, Fuumuui 7Pcs Sable Brush Set Variety Shapes with Flat, Round Pointed, Cat's Tongue Oval Wash Fan Brush Perfect for Watercolor Gouache Inks Painting
Male Mannequin Full Body with Adjustable Head, Flexible Limbs 72" Detachable Design Dress Form with Metal Base for Clothing Display (Skin, Male)
upsimples 12x24 Picture Frame, Display Pictures 10x20 with Mat or 12 x 24 Without, Wall Hanging Poster Frames, Black, 1 Pack
SHareconn 86PCS Christmas Tree Ornaments Clear Set,Shatterproof and Clear Plastic Baubles for Xmas Tree Decor, Holiday Wedding Party Decoration,Champagne