NISMO

Alpuente - Logic-Based Program Synthesis and Transformation 20th In - S9000z

Description: About this Item The item is a book paperback or softback The Author Name is Alpuente, Mara, The Title is Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected P Condition New Other Comments Pages Count - 260. Binding type - Perfect. Content Language - English Category - COMPUTERS / Logic Design MATHEMATICS / Applied COMPUTERS / Artificial Intelligence / General We Use Stock Images Because we have over 2 million items for sale we have to use stock images, this listing does not include the actual image of the item for sale. The purchase of this specific item is made with the understanding that the image shown in this listing is a stock image and not the actual item for sale. For example: some of our stock images include stickers, labels, price tags, hyper stickers, obi's, promotional messages, signatures and or writing which may not be available in the actual item. When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details  are provided automatically  from our central master database and can sometimes be wrong. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.  The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling.   Gift IdeasThis is a  great Christmas gift idea.   Hours of ServiceWe have many warehouses,  some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday. Location ID 9000z iHaveit SKU ID 165775409

Price: 68.72 USD

Location: US

End Time: 2024-12-12T08:48:33.000Z

Shipping Cost: 0 USD

Product Images

Alpuente - Logic-Based Program Synthesis and Transformation   20th In - S9000z

Item Specifics

Restocking Fee: No

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Fiction/Non-Fiction: Non-Fiction

Genre/Subject: COMPUTERS / Logic Design

Brand: SPRINGER

Weight: 0.37

Style: NA

Title: Logic-Based Program Synthesis and Transformation 20th Internati

Release Title: Logic-Based Program Synthesis and Transformation 20th Internati

Record Grading: New

Sleeve Grading: New

Platform: NA

Size: NA

Film/TV Title: Logic-Based Program Synthesis and Transformation 20th Internat

Colour: NA

Material: NA

Department: NA

Movie/TV Title: Logic-Based Program Synthesis and Transformation 20th Internat

UPC: 9783642205507

EAN: 9783642205507

ISBN: 9783642205507

Binding Type: Perfect

Item Height: 13.97

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

Number of Pages: X, 249 Pages

Publication Name: Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Language: English

Publisher: Springer Berlin / Heidelberg

Subject: Programming / General, Software Development & Engineering / General, Computer Science, Logic Design

Publication Year: 2011

Type: Textbook

Item Weight: 14.2 Oz

Subject Area: Computers

Item Length: 9.3 in

Author: MarĂ­a Alpuente

Item Width: 6.1 in

Series: Lecture Notes in Computer Science Ser.

Format: Trade Paperback

Recommended

26" Springer Fork 1" Threaded,Cruiser Chopper Bike Dual Spring Classical Fork
26" Springer Fork 1" Threaded,Cruiser Chopper Bike Dual Spring Classical Fork

$109.66

View Details
Twisted Chrome Chopper Front End Harley Triumph Springer Motorcycle Fork 2 *TZ38
Twisted Chrome Chopper Front End Harley Triumph Springer Motorcycle Fork 2 *TZ38

$1279.99

View Details
Vintage Springer Fork Cruiser
Vintage Springer Fork Cruiser

$120.00

View Details
1971 Custom Built Motorcycles Chopper
1971 Custom Built Motorcycles Chopper

$6750.00

View Details
Springer Fork 26" Spring 1" Threaded NOS Chrome Chopper Lowrider 26 Vintage
Springer Fork 26" Spring 1" Threaded NOS Chrome Chopper Lowrider 26 Vintage

$94.04

View Details
26" - 29'' Dual 28.6mm Threadless Springer Triple Tree Fork Disc Brake
26" - 29'' Dual 28.6mm Threadless Springer Triple Tree Fork Disc Brake

$339.98

View Details
Vintage Lefton Japan 6" Tall English Springer Spaniel Dog Figurine H1435
Vintage Lefton Japan 6" Tall English Springer Spaniel Dog Figurine H1435

$36.00

View Details
Springer Spaniel Crew Socks Unisex Green
Springer Spaniel Crew Socks Unisex Green

$13.99

View Details
2007 Harley-Davidson Softail
2007 Harley-Davidson Softail

$16850.00

View Details
Black Springer Front End Stock Length Harley chopper bobber sportster ironhead
Black Springer Front End Stock Length Harley chopper bobber sportster ironhead

$499.95

View Details