Types for Proofs and Programs, Thorsten Altenkirch; Wolfgang Naraschewski; Bernha

Автор: Aichernig
Название: Tests and Proofs
ISBN: 3319411349 ISBN-13(EAN): 9783319411347
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions.

Автор: Thierry Coquand; Peter Dybjer; Bengt Nordstr?m; Ja
Название: Types for Proofs and Programs
ISBN: 3540415173 ISBN-13(EAN): 9783540415176
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work constitutes the post-workshop proceedings of the Third International Workshop, TYPES`99, organized by the ESPRIT Working Group 21900, in Lokeberg, Sweden, in June 1999. Issues on type theory and type systems and their applications to programming and proof theory are addressed.

Автор: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Название: Types for Proofs and Programs
ISBN: 3642024432 ISBN-13(EAN): 9783642024436
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.

Автор: Jean-Christophe Filliatre; Christine Paulin-Mohrin
Название: Types for Proofs and Programs
ISBN: 3540314288 ISBN-13(EAN): 9783540314288
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Автор: Thorsten Altenkirch; Conor McBride
Название: Types for Proofs and Programs
ISBN: 3540744630 ISBN-13(EAN): 9783540744634
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. This book presents 17 revised full papers that were reviewed and selected from 29 submissions.

Автор: Paul Callaghan; Zhaohui Luo; James McKinna; Robert
Название: Types for Proofs and Programs
ISBN: 3540432876 ISBN-13(EAN): 9783540432876
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.

Автор: Fernando Ferreira; Benedikt L?we; Elvira Mayordomo
Название: Programs, Proofs, Processes
ISBN: 3642139612 ISBN-13(EAN): 9783642139611
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010.

Автор: Chris Hawblitzel; Dale Miller
Название: Certified Programs and Proofs
ISBN: 364235307X ISBN-13(EAN): 9783642353079
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

Автор: Gordon Fraser; Angelo Gargantini
Название: Tests and Proofs
ISBN: 3642139760 ISBN-13(EAN): 9783642139765
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously.

Автор: Jasmin Christian Blanchette; Nikolai Kosmatov
Название: Tests and Proofs
ISBN: 3319212141 ISBN-13(EAN): 9783319212142
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.

Автор: Lutz Pl?mer
Название: Termination Proofs for Logic Programs
ISBN: 3540528377 ISBN-13(EAN): 9783540528371
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Termination proofs constitute a crucial part of program verification. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages.

Автор: Georges Gonthier; Michael Norrish
Название: Certified Programs and Proofs
ISBN: 3319035444 ISBN-13(EAN): 9783319035444
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.