Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

High-Level System Modeling, 1

Name: High-Level System Modeling, 1
Brand: Springer, Berlin
SKU: 02253580
Price: 39764 HUF
Availability: InStock
Author: Jean-Michel Bergé
ISBN: 9781461359739

Specification Languages

Jean-Michel Bergé

Oz Levia

Jacques Rouillard

Language

English

Book Paperback

Libristo code: 02253580

Publishers Springer, Berlin, September 2012

The process of modeling hardware involves a certain duality: a model may specify and represent the d... Full description

Libristo code: 02253580

271 b

39 764 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Perfekt in Deutsch Marina Mouriki

Paperback

9 030 Ft

Relatos Místicos Clássicos Decio Martins de Medeiros

Paperback

8 150 Ft

The Time Machine Herbert G. Wells

Paperback

2 922 Ft

Gebrauchsanweisung für Vietnam, Laos und Kambodscha Benjamin Prüfer

Paperback

5 270 Ft

Haikyu!! 06 Haruichi Furudate

Paperback

2 862 Ft

Untersuchungen uber Goethes Faust in seiner altesten Gestalt J. (Josef) Collin

Hardback

8 002 Ft

Fuhrer durch die koenigliche Vasensammlung in der Alten Pinakothek zu Munchen Rudolf Hackl

Paperback

12 142 Ft

Belastung und Entartung Isidor Sadger

Paperback

10 410 Ft

Biblioteczka Opracowań Ogniem i mieczem Henryka Sienkiewicza Wilczycka Danuta

Paperback

838 Ft

Löydän vielä itseni Mia Väisänen

Hardback

8 724 Ft

Technologisches Wörterbuch Johann Karl Gottfried Jacobsson

Paperback

15 596 Ft

Les Comportements Sexuels A Risque Des Adolescents de Lubumbashi (Rdc) Jean-Marie Kalau Mutej

Paperback

28 340 Ft

Evaluation Du Syst me d'Appr ciation Du Personnel Djieuga Tchouatcha Vivien Romeo

Paperback

21 440 Ft

Management Wertvoller Beziehungen Harald Geißler

Paperback

20 074 Ft

The process of modeling hardware involves a certain duality: a model may specify and represent the desires and constraints of the designer, or it may imitate something that already exists, and can end in simulation or documentation. §Surprisingly enough, one of the main qualities of a specification formalism is its ability to ignore issues that do not belong to this level. Such formalisms are obviously intended for the first stages of a design, but can also be used in the process of redesign. Having a proper level of description thus avoids two symmetric problems: §Overspecification, which would introduce new instances of the hardware constraints that were only meaningful to the previous ones; §Underspecification, which would lead to unnecessary work and sometimes to starting again from scratch. Pds. /LIST Pds. High-Level System Modeling: Specification Languages describes the state-of-the-art in specification formalisms in electronic design. The book provides an overview of object- oriented methodologies. It goes on to highlight several formalisms such as VSPEC, ESTELLE, SDL and LOTOS with methods that map their semantics to simulatable or synthesisable VHDL. §Audience: The essential update for researchers, design engineers and technical managers working in design automation and circuit design.