Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
Product Description
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
- Used Book in Good Condition
Technical Specifications
You might also like
GoSports 4 ft x 2 ft Commercial Grade Cornhole Boards Set - Natural Wood Cornhole Boards, Choose from Different Bean Bag Color Combinations - Dark Green & Gray
Edge Trim Black Small, Fits 1/16" Metal Edge (40 Feet)
Roze + Quartz® Dyve Deep Hair Mask • Ultra Purple Toning Treatment for Blonde, Silver + Highlighted Hair (1oz)
Noamus 12 Pack Large Foam Dice, 2 Inch Colorful Cubes with Number Dots, 6 Sides Big Square Pocket Game Dice for Party Supplies Gift Prize, Yard Games
NCAA Siskiyou Sports Mens Clemson Tigers Brushed Metal Money Clip One Size Team Color
Continental Bedding Medium Standard Pack of 2 100% White Down Pillows 20oz 550FP Hotel Down Pillows for Supporting Back Side and Stomach Sleepers
Firm Goose Down Pillow 1 Pack King Size 36 Ounce 20x36 Inch RDS Certified Fine Cotton Shell - Made in USA - Firm White Down Pillow
Lolli Lookout™ Holiday Elf – 14” Christmas Shelf Sitter Plush – Bagged or Gift Box – Collectible Décor & Family Tradition (Bag)