Welcome to Central Library, SUST

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