Item Details

Print View

Formal Methods in Computer-Aided Design: 5th International Confrence [I.E. Conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; Proceedings

Alan J. Hu, Andrew K. Martin (eds.)
Format
Book
Published
Berlin : Springer, 2004.
Language
English
Variant Title
FMCAD 2004
Series
Lecture Notes in Computer Science
ISBN
3540237380 (pbk.)
Description
xi, 444 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 3312
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01404nam a2200361Ia 4500
    001 u4227720
    003 SIRSI
    005 20050223083056.0
    007 cr un---------
    008 041126s2004 gw a b 101 0 eng d
    010
      
      
    a| 2004115344
    020
      
      
    a| 3540237380 (pbk.)
    035
      
      
    a| (Sirsi) o57066779
    035
      
      
    a| (OCoLC)57066779
    040
      
      
    a| OHX c| OHX d| ZCU d| C$Q
    072
      
    7
    a| Q 2| lcco
    090
      
      
    a| TK7874.65 b| .F53 2004
    111
    2
      
    a| FMCAD 2004 d| (2004 : c| Austin, Texas)
    245
    0
    0
    a| Formal methods in computer-aided design : b| 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / c| Alan J. Hu, Andrew K. Martin (eds.).
    246
    3
    0
    a| FMCAD 2004
    260
      
      
    a| Berlin : b| Springer, c| 2004.
    300
      
      
    a| xi, 444 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 3312
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Digital integrated circuits x| Computer-aided design v| Congresses.
    650
      
    0
    a| Integrated circuits x| Verification v| Congresses.
    650
      
    0
    a| Formal methods (Computer science) v| Congresses.
    650
      
    0
    a| Digital integrated circuits x| Design and construction x| Mathematics v| Congresses.
    700
    1
      
    a| Hu, Alan J. q| (Alan John)
    700
    1
      
    a| Martin, Andrew K.
    999
      
      
    a| TK7874.65 .F53 2004 w| LC i| X004810044 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