The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Paperback • 2006 • English

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

By Patricia Hill

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

This book constitutes the thoroughly refereed postproceedings of the15th International Symposium on Logic Based Program Synthesis andTransformation, LOPSTR 2005, held in London, UK in September 2005 inconjunction with SAS 2005, the Symposium on Static Analysis. The 10 revised full papers presented together withnbsp;one invited talk werecarefully selected and revised from 33 submissions. The papers areorganized in topical sections on tools for program development, programtransformations, and soft...Show more

Book details

ISBN

9783540326540

Publisher

Springer Science & Business Media

Published year

2006

Language

English

Original title

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Righting Software

Righting Software

Juval Löwy

Service Logic

Service Logic

Professor Per Skalen

Knowledge Management in Organizations

Knowledge Management in Organizations

Donald (Loughborough University) Hislop

Ex.fac.k En oppsummering

Ex.fac.k En oppsummering

Ingrid Stray

Software Languages

Software Languages

Ralf Lammel

Second Language Pragmatics

Second Language Pragmatics

UK) Culpeper Jonathan (Lancaster University

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Strategic Management: Theory

Strategic Management: Theory

Charles W. L. Hill

Blackstone's UK & EU Competition Documents

Blackstone's UK & EU Competition Documents

Logic

Logic

Dan Cryan

Knowledge Management in Organizations: A Critical Introduction 3rd Edition

Knowledge Management in Organizations: A Critical Introduction 3rd Edition

Donald (Loughborough University) Hislop

The Logic Book

The Logic Book

Merrie Bergmann

Let Over Lambda

Let Over Lambda

Doug Hoyte

Implementing public policy - an introduction to the study of operational go

Implementing public policy - an introduction to the study of operational go

Michael Hill, Peter L. Hupe

Clinical Reasoning in the Health Professions

Clinical Reasoning in the Health Professions

Joy Higgs

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Patterns for Parallel Programming

Patterns for Parallel Programming

Berna L. Massingill

Fundamentals of Digital Logic with VHDL Design

Fundamentals of Digital Logic with VHDL Design

Stephen D. Brown

Philosophy of law (second edition)

Philosophy of law (second edition)

Mark Tebbitt

Java Software Solutions Foundations of Program Design

Java Software Solutions Foundations of Program Design

John Lewis

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

The Logic of Real Arguments

The Logic of Real Arguments

Alec Fisher

AMPL

AMPL

Robert Fourer

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

Handbook of Contemporary Syntactic Theory

Handbook of Contemporary Syntactic Theory

Mark (EDT) Baltin

Pattern Languages of Program Design 4 (Software Patterns Series)

Pattern Languages of Program Design 4 (Software Patterns Series)

Foote, Brian

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

New Ideas in Optimization

New Ideas in Optimization

David Corne

Handbook of Science and Technology Studies

Handbook of Science and Technology Studies

Sheila Jasanoff m.fl.

Fuzzy Thinking

Fuzzy Thinking

Bart Kosko

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

William Poundstone

Formal Logic

Formal Logic

Jeffrey, Richard C.

Computers and Information Systems

Computers and Information Systems

Timothy J. O'Leary

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Plato's Epistemology and Related Logical Problems

Plato's Epistemology and Related Logical Problems

Gwynneth Matthews