phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Logic Based Program Synthesis and Transformation

Language EnglishEnglish
Book Paperback
Book Logic Based Program Synthesis and Transformation Sandro Etalle
Libristo code: 01560821
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Full description
? points 154 b
61.56 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

TOP
Haikyu!!, Vol. 14 Haruichi Furudate / Paperback
common.buy 9.90 €
COMING SOON
Maze Runner James Dashner / Paperback
common.buy 10.81 €
Maltese Falcon Dashiell Hammett / Paperback
common.buy 9.09 €
Google Cloud Platform in Action John J. Geewax / Paperback
common.buy 60.45 €
Secret Kingdom: Magic Mountain Rosie Banks / Paperback
common.buy 6.26 €
Treasure Island and The Ebb-Tide Robert Louis Stevenson / Paperback
common.buy 8.28 €
Enterococcus faecalis / Hardback
common.buy 280.13 €
E-Myth Contractor Michael E. Gerber / Paperback
common.buy 15.15 €
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Hardback
common.buy 149.92 €
Ma, I've Reached for the Moon an I'm Hittin the Stars Martha Long / Paperback
common.buy 18.49 €
English Auxiliaries Anthony R. Warner / Paperback
common.buy 49.12 €
From Understanding to Action Marco Keiner / Hardback
common.buy 121.31 €
Model-Based Reasoning in Science and Technology Lorenzo Magnani / Hardback
common.buy 241.01 €
International Directory of Company Histories Tina Gant / Hardback
common.buy 597.08 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Paperback
common.buy 77.84 €
Text Book of Boxing Jim Driscoll / Paperback
common.buy 18.59 €

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

About the book

Full name Logic Based Program Synthesis and Transformation
Author Sandro Etalle
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 284
EAN 9783540266556
ISBN 3540266550
Libristo code 01560821
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 450
Dimensions 155 x 235 x 16

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account