NISMO

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

Description: Logic-Based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers by Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less

Price: 34.36 USD

Location: Aurora, Illinois

End Time: 2024-11-09T16:24:55.000Z

Shipping Cost: 0 USD

Product Images

Logic-Based Program Synthesis and Transformation: 8th 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: X, 338 Pages

Publication Name: Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, U. K., June 15-19, 1998, Selected Papers

Language: English

Publisher: Springer Berlin / Heidelberg

Publication Year: 1999

Subject: Systems Architecture / General, Software Development & Engineering / General, Hardware / General, Logic

Item Weight: 38.1 Oz

Type: Textbook

Author: Pierre Flener

Subject Area: Mathematics, Computers

Item Length: 9.3 in

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback

Recommended

TOPOLOGY VIA LOGIC (CAMBRIDGE TRACTS IN THEORETICAL By Steven Vickers Hardcover
TOPOLOGY VIA LOGIC (CAMBRIDGE TRACTS IN THEORETICAL By Steven Vickers Hardcover

$42.49

View Details
Foundations of Logic Programming (Symbolic - Hardcover, by Lloyd J.W. - Good
Foundations of Logic Programming (Symbolic - Hardcover, by Lloyd J.W. - Good

$55.94

View Details
The Logic Programming Tutor by Paine, Jocelyn
The Logic Programming Tutor by Paine, Jocelyn

$107.00

View Details
Перечислительная комбинаторика. Стенли Р / Enumerative combinatorics. Stanley R
Перечислительная комбинаторика. Стенли Р / Enumerative combinatorics. Stanley R

$35.00

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

$66.79

View Details
Program Logics for Certified - Hardcover, by Appel Andrew W. - Very Good
Program Logics for Certified - Hardcover, by Appel Andrew W. - Very Good

$101.73

View Details
Logic-Based Program Synthesis and Transformation: 32nd International Symposium,
Logic-Based Program Synthesis and Transformation: 32nd International Symposium,

$79.30

View Details
Logic Programming and Nonmonotonic Reasoning: 6th International Conference,...
Logic Programming and Nonmonotonic Reasoning: 6th International Conference,...

$50.63

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

$49.29

View Details
From Standard Logic to Logic Programming Introducing a Logic Based Approach to
From Standard Logic to Logic Programming Introducing a Logic Based Approach to

$19.99

View Details