Types for Proofs and Programs

Ferruccio Damiani, Stefano Berardi, Ugo De Liguoro, 2009
Ratings
BrandMore from Springer
Delivered between Wed, 18.3. and Fri, 20.3.
More than 10 pieces in stock at supplier
free shipping

Product details

"Types for Proofs and Programs" is a collection of selected, peer-reviewed papers presented at the annual TYPES project workshop. This workshop took place from March 26 to 29, 2008, in Turin, Italy, and brought together over 100 researchers working on formal methods and computer programming based on type theory. The topics covered include programming languages, computer-assisted tools for formal reasoning, and their applications in various areas such as programming language analysis, certified software, and formal mathematics. The contributions were selected from 27 submitted papers that underwent a rigorous review process. The editors, Stefano Berardi, Ferruccio Damiani, and Ugo De Liguoro, ensured the quality and relevance of the works to make a valuable contribution to the scientific discussion in this field.

Key specifications

topic
Technology & IT
Author
Ferruccio Damiani, Stefano Berardi, Ugo De Liguoro
Year
2009
Number of pages
323
Book cover
Paperback

General information

Item number
55204759
Publisher
Springer
Category
Reference books
Release date
4.3.2025

Book properties

topic
Technology & IT
Author
Ferruccio Damiani, Stefano Berardi, Ugo De Liguoro
Year
2009
Number of pages
323
Book cover
Paperback

Voluntary climate contribution

CO₂ emissions
0.25 kg
Climate contribution
CHF 0.11

No right of return
24 Months Warranty (Bring-in)

Compare products

Goes with

Reviews & Ratings

Warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Digitec Galaxus
  • 1.Redline
    0 %
  • 1.S.Fischer
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Ullstein
    0 %

Warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Digitec Galaxus
  • Springer
    Not enough data
  • 1.Penguin Random House
    0 days
  • An der Ruhr
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Digitec Galaxus
  • 53.Penguin Random House
    1.1 %
  • 53.S.Fischer
    1.1 %
  • 53.Springer
    1.1 %
  • 53.Wiley VCH
    1.1 %
  • 60.Dorling Kindersley
    1.2 %
Source: Digitec Galaxus