Item Details

Print View

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; Revised Selected Papers

Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
Format
Book
Published
Berlin ; New York : Springer, c2004.
Language
English
Variant Title
TYPES 2003
Series
Lecture Notes in Computer Science
ISBN
3540221646 (pbk.)
Description
x, 408 p. : fig. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 3085
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01220nam a2200337Ia 4500
    001 u4068416
    003 SIRSI
    005 20040915072450.0
    007 cr un---------
    008 040702s2004 gw a b 101 0 eng d
    020
      
      
    a| 3540221646 (pbk.)
    035
      
      
    a| (Sirsi) o55807908
    035
      
      
    a| (OCoLC)55807908
    040
      
      
    a| OHX c| OHX d| OSU d| C$Q
    072
      
    7
    a| QA 2| lcco
    090
      
      
    a| QA76.9.A96 b| T96 2003
    111
    2
      
    a| TYPES 2003 d| (2003 : c| Torino, Italy)
    245
    0
    0
    a| Types for proofs and programs : b| international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / c| Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.).
    246
    3
    0
    a| TYPES 2003
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c2004.
    300
      
      
    a| x, 408 p. : b| fig. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 3085
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Automatic theorem proving v| Congresses.
    650
      
    0
    a| Computer programming v| Congresses.
    700
    1
      
    a| Berardi, Stefano.
    700
    1
      
    a| Coppo, Mario, d| 1947-
    700
    1
      
    a| Damiani, Ferruccio.
    999
      
      
    a| QA76.9 .A96 T96 2003 w| LC i| X004806357 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available