Languages, design methods, and tools for electronic system design.
Languages, design methods, and tools for electronic system design.
Marie-Minerve Louërat; Torsten Maehne
- New york. : Springer, ©2015
- xxiv, 305 p. : ill. ; 22 cm.
Includes bibliography and index.
9783319063164
Formal methods (Computer science) .
Software engineering --
004.015113 / LAN
Includes bibliography and index.
9783319063164
Formal methods (Computer science) .
Software engineering --
004.015113 / LAN