Communicating embedded systems : software and design : formal methods edited by Claude Jard, Olivier H. Roux

Contributor(s):

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	621.392 JAR (Browse shelf(Opens below))	Available		134121

Previous								Next
Previous	621.392 HSU VHDL modeling for digital design synthesis	621.392 HUN Introduction to VHDL	621.392 IEN Customizable embedded processors : design technologies and applications	621.392 JAR Communicating embedded systems : software and design : formal methods	621.392 JER Behavioral synthesis and component reuse with VHDL	621.392 KLO Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 international conference on computer hardware description languages and their applications, 20-25 April 1997, Toledo, Spain	621.392 LIL Designing digital computer systems with Verilog	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map