Practical formal methods for hardware design

• • Delgado Kloos, Carlos
• • Damm, Werner

• Related Books: 1

• • Delgado Kloos, Carlos
• • Damm, Werner

Practical formal methods for hardware design

C. Delgado Kloos, W. Damm (Eds.)

(Research reports ESPRIT, Project 6128, FORMAT ; vol. 1)

Springer, c1997

Available at  / 8 libraries

• Kansai University Library 図

  207226431

  Science and Technology Library, Kyushu University

  548/D 55031212006508648

  OPAC

• Kobe University Library for Science and Technology

  548-0-116//6128-1030009801547

  OPAC

• Shimane University Library

  NDC:549.7/D55

  OPAC

• 東京大学 大学院情報理工学系研究科 CS図

  K6:2192012711293

  OPAC

• Digital Library of Nara Institute of Science and Technology

  CE||709111870

  OPAC

• 広島市立大学 附属図書館

  501.8PR0001760859,0001778403

  福山大学 附属図書館

  548||D129800376

  OPAC

• No Libraries matched.
• Remove all filters.

• Calil
• WorldCat

Includes bibliographical references

Related Books: 1-1 of 1

• 1

  Research reports ESPRIT

  Springer-Verlag