Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

N� de r�f. du vendeur Z1-U-037-01027

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Embedded Systems Design Based on Formal Models of Computation
�diteur: Springer
Date de parution: 2011
Langue: anglais
ISBN � 10 chiffres: 9400715935
ISBN � 13 chiffres: 9789400715936
Reliure: Couverture rigide
�tat de l'article: Like New

A propos de ce titre

Synopsis

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Phatpocket Limited is a world class secondhand bookstore located in the Hertfordshire countryside in the United Kingdom. We specialize in textbooks across an enormous variety of subjects. We aim to provide a low cost source of high quality textbooks to the academic community. We also have a sizable collection of rare and collectible books. We are dedicated to providing our customers with the highest standard of customer service in the bookselling business.Phatpocket Limited is registered in England and Wales: No. 04924751.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Phatpocket Limited
1A The Maltings, Railway Place, Hertford, SG13 7JT, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

Books are usually shipped within two working days. All of our books have a 14 or 30 day no hassle money back guarantee unless stated otherwise in the book's description. Item must be returned in the exact same condition that it was received. Through our work with The Rainbow Centre and other Charity Partners, we have already given hundreds of young people in Sri Lanka and Africa the vital chance to get an education.

Your satisfaction is extremely important to us and we would be happy to work wit...

Pour plus d'information

Conditions d'exp�dition

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

In spite of our best efforts, a small number of the items in our catalogue may be mispriced or out of stock. If an item's correct price is higher than our stated price, we will, at our discretion, either contact you for instructions before shipping or cancel your order and notify you of such cancellation.