Miss Selfridge

Logic-Based Program Synthesis and Transformation: 9th International Workshop,...

Description: Logic-Based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers by Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less

Price: 37.84 USD

Location: Aurora, Illinois

End Time: 2024-11-09T16:25:56.000Z

Shipping Cost: 0 USD

Product Images

Logic-Based Program Synthesis and Transformation: 9th International Workshop,...

Item Specifics

Return shipping will be paid by: Seller

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Binding: Paperback

Weight: 1 lbs

Product Group: Book

IsTextBook: No

Number of Pages: VII, 312 Pages

Language: English

Publication Name: Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 - Selected Papers

Publisher: Springer Berlin / Heidelberg

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

Publication Year: 2000

Item Weight: 36.3 Oz

Type: Textbook

Author: Annalisa Bossi

Subject Area: Computers

Item Length: 9.2 in

Item Width: 6.1 in

Series: Lecture Notes in Computer Science Ser.

Format: Trade Paperback

Recommended

Vidal - Logic-Based Program Synthesis and Transformation  21st Intern - S9000z
Vidal - Logic-Based Program Synthesis and Transformation 21st Intern - S9000z

$88.16

View Details
Logic Based Program Synthesis and Transformation: 14th International Symposium,
Logic Based Program Synthesis and Transformation: 14th International Symposium,

$66.79

View Details
Logic-Based Program Synthesis and Transformation: 30th International Symposium,
Logic-Based Program Synthesis and Transformation: 30th International Symposium,

$129.02

View Details
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math

$15.00

View Details
Logic-Based Program Synthesis and Transformation - 9783319944593
Logic-Based Program Synthesis and Transformation - 9783319944593

$49.82

View Details
Logic-based Program Synthesis and Transformation : 21st International Symposi...
Logic-based Program Synthesis and Transformation : 21st International Symposi...

$83.83

View Details
De Schreye - Logic-Based Program Synthesis and Transformation   19th  - S9000z
De Schreye - Logic-Based Program Synthesis and Transformation 19th - S9000z

$68.72

View Details
Logic-Based Program Synthesis and Transformation: 28th International Symposium,
Logic-Based Program Synthesis and Transformation: 28th International Symposium,

$66.79

View Details
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Appli - GOOD
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Appli - GOOD

$14.57

View Details
LOGIC PRO 9 POWER!: THE COMPREHENSIVE GUIDE By Kevin Anker & Orren Merton *Mint*
LOGIC PRO 9 POWER!: THE COMPREHENSIVE GUIDE By Kevin Anker & Orren Merton *Mint*

$16.75

View Details