Get your next eBook for only 9.99! Stock up on Springer Protocols! Available through Aug 17, 2018.

Lecture Notes in Computer Science

Formal Methods in Computer-Aided Design

Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Editors: Gopalakrishnan, Ganesh, Windley, Phillip (Eds.)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-49519-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-65191-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (35 chapters)

  • Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification

    McMillan, Kenneth L.

    Pages 1-1

  • Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution

    Jones, Robert B. (et al.)

    Pages 2-17

  • Bit-Level Abstraction in the Verification of Pipelined Microprocessors by Correspondence Checking

    Velev, Miroslav N. (et al.)

    Pages 18-35

  • Solving Bit-Vector Equations

    Möller, M. Oliver (et al.)

    Pages 36-48

  • The Formal Design of 1M-Gate ASICs

    Eiríksson, ásgeir þór

    Pages 49-63

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-49519-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-65191-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods in Computer-Aided Design
Book Subtitle
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Editors
  • Ganesh Gopalakrishnan
  • Phillip Windley
Series Title
Lecture Notes in Computer Science
Series Volume
1522
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49519-2
DOI
10.1007/3-540-49519-3
Softcover ISBN
978-3-540-65191-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 538
Topics