Automated Technology for Verification and Analysis $135.54

Shopping Cart |

Your Account

Contact | 1-414-409-0961
Wholesale/Affiliate/Dropship Program

23 Days Until Veterans Day

Specials

Home Books > Juvenile fiction

Home

Narrow Your Results



2 Sets - Magic Light Up Glow In the Dark Twisting Race Tracks - ( Totals 324 pcs )	2 - G1000 Portable Zoomable Tactical LED Flashlight - 2000 Lumens

2 Tactical Dual Arch Beam Lighter - As Seen On TV USB Electric Plasma Torch Tac Lighter /w Gift Box	Aluminum Charging RFID Blocking Wallet Power Bank - Phone Recharge Wallet

Large Aqua Glass Plant Watering Globes - Automatic Self Watering System Insert Spikes - Indoor/Outdoor Plant Drip Irrigation - Easy Plant Care for Potted Flowers, Herbs, and Houseplants - 20z 4pc Set - Multicolor.	Zipper Pressure Compression Support Socks - Open Toe - Knee High - 20-30mmHg - 2 Pairs

Portable Folding Table Laptop Tray - Adjustable Bed Desk Tray with Cup Holder for Eating, Drawing, Sofam Home Office - Lightweight Ergonomic Design - TV Dinner Tray, 6 Heights & 3 Tilt Angles	Car Door Assist Handle Aid Cane for Elderly, Handicap Support, Mobility Transfer & Vehicle Exit - Automotive Safety Grip Tool

	Automated Technology for Verification and Analysis
	Availability: Discontinued Condition: New

Photos
Video

Automated Technology for Verification and Analysisautomated

Price: $135.54

Other products in the Juvenile fiction category

Send This Page To A Friend
Question Automated Technology for Verification and Analysis

Have A Question

Product Description

Item: 1007740

Whats included | Features

Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.

Additional Details

BINDING : PAPERBACK
BRAND : CHA, SUNGDEOK (EDT)/ CHOI, JIN-Y
LANGUAGE : ENG
PUBLISHER : SPRINGER VERLAG
SKU : 9783540883869
UPC : 9783540883869

Includes		Features
Automated Technology for Verification and Analysis		Condition : NEW

Reviews No Customer Reviews Yet		Add Your Review Or Images

Top Selling Products:
	2 Sets - Magic Light Up Glow In the Dark Twisting Race Tracks - ( Totals 324 pcs ) $18.95	2 - G1000 Portable Zoomable Tactical LED Flashlight - 2000 Lumens $13.95	2 Tactical Dual Arch Beam Lighter - As Seen On TV USB Electric Plasma Torch Tac Lighter /w Gift Box $19.95	Aluminum Charging RFID Blocking Wallet Power Bank - Phone Recharge Wallet $12.95
	Large Aqua Glass Plant Watering Globes - Automatic Self Watering System Insert Spikes - Indoor/Outdoor Plant Drip Irrigation - Easy Plant Care for Potted Flowers, Herbs, and Houseplants - 20z 4pc Set - Multicolor. $13.95	Zipper Pressure Compression Support Socks - Open Toe - Knee High - 20-30mmHg - 2 Pairs $12.95	Portable Folding Table Laptop Tray - Adjustable Bed Desk Tray with Cup Holder for Eating, Drawing, Sofam Home Office - Lightweight Ergonomic Design - TV Dinner Tray, 6 Heights & 3 Tilt Angles $29.95	Car Door Assist Handle Aid Cane for Elderly, Handicap Support, Mobility Transfer & Vehicle Exit - Automotive Safety Grip Tool $11.95
	2 Snore Relief Mouthpiece - Anti Snoring Aid Mouthguard - Oral Stop Snoring Device $13.95	2pc - Magic Twister Glow In the Dark Race Vehicles - Race Car $8.95	2 Magnetic Screen Mesh Doors - Walk Through Hanging Screen Door - Full Frame Velcro Mosquito Net, Close Automatically Tightly Keep Bugs Out, Lets Fresh Air In, Toddler And Pet Friendly $11.95	8pc Shoe Storage Slot Organizer Rack - Space Saving Shelf Storage $10.95

Sign-Up To Receive Exclusive Deals For Up To 90% OFF! E-Mail:
stay connected contact us about us contact us	shopping shopping cart privacy & refund policy security dollar program live chat offline printable order form	wholesale information wholesale program drop shipping service affiliate program	other your e-cards dollar program