OPAC_KOHA catalog › Details for: Abstract State Machines: a method for high-level systemdesign and analysis

Normal view MARC view ISBD view

Abstract State Machines: a method for high-level systemdesign and analysis Egon Borger

By: Borger, EgonContributor(s): Stark, RobertMaterial type: Text

TextPublication details: Berlin Springer 2003Description: x, 438p. + 1 CD-ROMISBN: 9783540007029Subject(s): Embedded computer systems | Computer software -- Development | System designDDC classification: 004.21 BOR

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.21 BOR (Browse shelf (Opens below))	Copy 1	Not for loan		030590

Total holds: 0

Previous								Next
Previous	REF 004.21 AGH Human-Centric Interfaces for Ambient Intelligence	REF 004.21 BAR Information Systems Development: challenges in practice, theory, and education; Vol. 1	REF 004.21 BAS Ambient Intelligence: impact on embedded system design	REF 004.21 BOR Abstract State Machines: a method for high-level systemdesign and analysis	REF 004.21 CHE Hardware Software Co-Design of a Multimedia SOC Platform	REF 004.21 DEL Ambient Intelligence with Microsystems: augmented materials and smart objects	REF 004.21 KAS Synthesis Techniques and Optimizations for Reconfigurable Systems	Next

There are no comments on this title.

to post a comment.