Item Details

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : Proceedings

Dexter Kozen, editor
Format
Book
Published
Berlin ; New York : Springer, c2004.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540223800 (pbk. : alk. paper)
Description
x, 399 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 3125
Technical Details
  • Access in Virgo Classic

  • LEADER 01246nam a2200337 a 4500
    001 u4068408
    003 SIRSI
    005 20040915094711.0
    007 cr un----------
    008 040527s2004 gw a b 101 0 eng
    010
      
      
    a| 2004108032
    019
      
      
    a| 56370718 a| 56700712
    020
      
      
    a| 3540223800 (pbk. : alk. paper)
    035
      
      
    a| (Sirsi) o56370718
    035
      
      
    a| (OCoLC)187777129
    040
      
      
    a| DLC c| DLC
    042
      
      
    a| pcc
    050
    0
    0
    a| QA76.6 b| .I5535 2004
    082
    0
    0
    a| 004.2/1/0151 2| 22
    111
    2
      
    a| International Conference on the Mathematics of Program Construction n| (7th : d| 2004 : c| Stirling, Scotland)
    245
    1
    0
    a| Mathematics of program construction : b| 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / c| Dexter Kozen, editor.
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c2004.
    300
      
      
    a| x, 399 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 3125
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 14
    650
      
    0
    a| Computer programming v| Congresses.
    650
      
    0
    a| Computer science x| Mathematics v| Congresses.
    700
    1
      
    a| Kozen, Dexter, d| 1951-
    999
      
      
    a| QA76.6 .I5535 2004 w| LC i| X004806361 l| BY-REQUEST m| IVY t| BOOK

Availability

Google Preview

Library Location Map Availability Call Number
Ivy By Request N/A Available