Eduardo Gimenez,
Christine Paulin-Mohring
Types for Proofs and Programs
International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
Paperback Engels 1998 1998e druk 9783540651376Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.
Specificaties
ISBN13:9783540651376
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:380
Uitgever:Springer Berlin Heidelberg
Druk:1998
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan