Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Product Description
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Technical Specifications
You might also like
Xbuyee 240W LED Parking Lot Light with Photocell, Commercial Outdoor Pole Lights with Slip Fitter & Arm Mount in 1, 36000LM 5000K 100-277V IP65 Dimmable, 240W/200W/150W Power Selectable, ETL
WHK 10 Pack 3/4" Press Pro press x 3/4" NPT Female Adapter Fittings Pressure Cooper Conenct to Female NPT Pipe（Lead-Free brass)
WALGLASS Large White Board Dry Erase for Wall, 48'' x 36'' Double-Sided Magnetic Whiteboard with Aluminium Frame, Hanging & Wall Mount for Home Office School
Lava Odoro Shower Grab Bar, Modern Stainless Steel Handicap Grab Bar for Bathtubs and Showers, Shower Safety Bar for Seniors Disabled, ADA-Compliant (Brushed Nickel, 12 Inch)
Katech Crochet Kit for Beginners-Crochet Kit for Adults Learn to Crochet Granny Square Scarf Beanie Hat, Complete Set for Crocheting Scarf w/Step-by-Step Instructions 6 Blend Yarn-Macaron
SKYDUE A6 Budget Binder, Money Organizer for Cash with 8pcs Zipper Envelopes,12pcs Expense Budget Sheets & 24 Rose Gold Sticky Labels, Money Saving Binder for Budgeting
Tomoe River FP 52gsm Loose Sheet by SANZEN, 8.27 x 11.7 Inches (A4-size), Cream, 100 Sheets/Pack (SR-A4P-C)
Qilery 1000 Pieces Cash Deposit Envelopes Bulk 4 1/8'' x 9 1/2'' Cashier Drop Envelopes Budgeting Planning Bank for Cash Small Business Retailers Restaurants Kraft(White)