OPAC_KOHA catalog › Details for: Formal Methods and Models for System Design: a system level perspective

Normal view MARC view ISBD view

Formal Methods and Models for System Design: a system level perspective Edited by Rajesh Gupta

TextPublication details: Boston Kluwer Academic Publishers 2004Description: ix, 372pISBN: 1402080514Subject(s): System design -- CongressesDDC classification: 004.2122 GUP

Contents:

<p>1. Actor-Oriented Models for Codesig

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Item type	Current library	Collection	Call number	Vol info	Status	Date due	Barcode	Item holds
REFERENCE BOOK	LRC_JUIT Computer Science & Engineering	REFERENCE SECTION	REF 004.2122 GUP (Browse shelf (Opens below))	Copy 1	Not for loan		024271

Total holds: 0

Previous						No cover image available No cover image available		Next
Previous	REF 004.21 LIN Constructing the Infrastructure for the Knowledge Economy : methods and tools, theory and practice	REF 004.21 PAT SystemC Kernel Extensions for Heterogeneous System Modeling: a framework for multi-MoC modeling & simulation	REF 004.21 POT Principles of Embedded Networked System Design	REF 004.2122 GUP Formal Methods and Models for System Design: a system level perspective	REF 004.22 ABD Fundamentals of Computer Organization and Architecture	REF 004.22 PAS Model-Driven Architecture in Practice: a Software Production Environment Based on Conceptual Modeling	REF 004.22 PLA Dynamically Reconfigurable Systems: architectures, design methods and applications	Next

<p>1. Actor-Oriented Models for Codesig

There are no comments on this title.

to post a comment.