Higher Order Operational Techniques in Semantics, Gordon

Автор: Melham
Название: Higher Order Logic and Hardware Verification
ISBN: 052141718X ISBN-13(EAN): 9780521417181
Издательство: Cambridge Academ
Рейтинг:
Цена: 86590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author`s own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

Автор: Comninos Peter
Название: Mathematical and Computer Programming Techniques for Computer Graphics
ISBN: 1852339020 ISBN-13(EAN): 9781852339029
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides a comprehensive and detailed coverage of the fundamentals of programming techniques for computer graphicsUses lots of code examples, encouraging the reader to explore and experiment with data and computer programs (in the C programming language)

Автор: Ralf Treinen
Название: Rewriting Techniques and Applications
ISBN: 3642023479 ISBN-13(EAN): 9783642023477
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics.

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Автор: Stefan Berghofer; Tobias Nipkow; Christian Urban;
Название: Theorem Proving in Higher Order Logics
ISBN: 364203358X ISBN-13(EAN): 9783642033582
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 22nd International Conference TPHOLs 2009 Munich Germany August 1720 2009 Proceedings. .

Автор: Paul Lokuciejewski; Peter Marwedel
Название: Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ISBN: 9400733682 ISBN-13(EAN): 9789400733688
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided.

Автор: Klaus Schneider; Jens Brandt
Название: Theorem Proving in Higher Order Logics
ISBN: 3540745904 ISBN-13(EAN): 9783540745907
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. This book presents 21 revised full papers together with 5 proof pearls and the abstracts of 3 invited papers that were reviewed and selected from 52 submissions.

Автор: Andrei Voronkov
Название: Rewriting Techniques and Applications
ISBN: 3540705880 ISBN-13(EAN): 9783540705888
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. This book includes papers that cover research on various aspects of rewriting including areas such as applications and foundational issues.