Logic-Based Program Synthesis and Transformation, Maurizio Proietti; Hirohisa Seki

Автор: Albert Elvira
Название: Logic-based Program Synthesis and Transformation
ISBN: 3642381960 ISBN-13(EAN): 9783642381966
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.

Автор: Michael Hanus
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642005144 ISBN-13(EAN): 9783642005145
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security.

Автор: Gopal Gupta; Ricardo Pe?a
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319141244 ISBN-13(EAN): 9783319141244
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.

Автор: Kung-Kiu Lau
Название: Logic Based Program Synthesis and Transformation
ISBN: 3540421270 ISBN-13(EAN): 9783540421276
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Автор: Pierre Flener
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3540657657 ISBN-13(EAN): 9783540657651
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents the refereed post-workshop proceedings of the 8th International Workshop on Logic Based Program Synthesis and Transformation. Among the topics covered are logic specification, mathematical program construction, logic programming and constraint logic programs.

Автор: Kung-Kiu Lau; Timothy P. Clement
Название: Logic Program Synthesis and Transformation
ISBN: 3540198067 ISBN-13(EAN): 9783540198062
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Sponsored by the Association for Logic Programming and ALPUK

Автор: Yves Deville
Название: Logic Program Synthesis and Transformation
ISBN: 3540198644 ISBN-13(EAN): 9783540198642
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas.

Автор: Norbert E. Fuchs
Название: Logic Program Synthesis and Transformation
ISBN: 3540650741 ISBN-13(EAN): 9783540650744
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation held in 1997. The 15 papers presented address such topics as program synthesis, program transformation, program analysis, tabling, metaprogramming and inductive logic programming.

Автор: F.L. Bauer; Peter Pepper; H. Remus
Название: Program Transformation and Programming Environments
ISBN: 3642464920 ISBN-13(EAN): 9783642464928
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

Автор: Berthold Hoffmann; Bernd Krieg-Br?ckner
Название: Program Development by Specification and Transformation
ISBN: 354056733X ISBN-13(EAN): 9783540567332
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.

Автор: Alexander Barkalov; Larysa Titarenko; Jacek Biegan
Название: Logic Synthesis for Finite State Machines Based on Linear Chains of States
ISBN: 3319598368 ISBN-13(EAN): 9783319598369
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book discusses Moore finite state machines (FSMs) implemented with field programmable gate arrays (FPGAs) including look-up table (LUT) elements and embedded memory blocks (EMBs).

Автор: Danny De Schreye
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642125913 ISBN-13(EAN): 9783642125911
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.