wyszukanych pozycji: 9
Uml-B Specification for Proven Embedded Systems Design
ISBN: 9781441952561 / Angielski / Miękka / 2010 / 300 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of...
This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as c...
|
|
cena:
589,01 zł |
Uml-B Specification for Proven Embedded Systems Design
ISBN: 9781402028663 / Angielski / Twarda / 1899 / 300 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of...
This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as c...
|
|
cena:
589,01 zł |
Fundamentals and Standards in Hardware Description Languages
ISBN: 9789401048460 / Angielski / Miękka / 2012 / 466 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. During next century they may perform other mutations to become optical or molecular or even biological. Actually, all these aspects are only fancy dresses put on mathematical machines. This was always recognized to be true in the domain of software, where "machine" or "high level" languages are more or less rigourous, but immaterial, variations of the universaly accepted mathematical language aimed at specifying elementary operations, functions,...
The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. Duri...
|
|
cena:
1178,06 zł |
Fundamentals and Standards in Hardware Description Languages
ISBN: 9780792325130 / Angielski / Twarda / 1993 / 466 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. During next century they may perform other mutations to become optical or molecular or even biological. Actually, all these aspects are only fancy dresses put on mathematical machines. This was always recognized to be true in the domain of software, where "machine" or "high level" languages are more or less rigourous, but immaterial, variations of the universaly accepted mathematical language aimed at specifying elementary operations, functions,...
The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. Duri...
|
|
cena:
1178,06 zł |
Electronic Chips & Systems Design Languages
ISBN: 9781441948847 / Angielski / Miękka / 2010 / 306 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip (SOC) design requires designers to work in a multi-lingual environment which is becoming increasingly difficult to master. It is therefore crucial for them to learn, almost in real time, from the experiences of their colleagues in the use of design languages and how these languages have become more advanced to cope with system design.
System designers, as well as students willing to become system designers, often do not have the time to... Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip ...
|
|
cena:
785,36 zł |
VHDL for Simulation, Synthesis and Formal Proofs of Hardware
ISBN: 9780792392538 / Angielski / Twarda / 1992 / 307 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The success of VHDL since it has been balloted in 1987 as an IEEE standard may look incomprehensible to the large population of hardware designers, who had never heared of Hardware Description Languages before (for at least 90% of them), as well as to the few hundreds of specialists who had been working on these languages for a long time (25 years for some of them). Until 1988, only a very small subset of designers, in a few large companies, were used to describe their designs using a proprietary HDL, or sometimes a HDL inherited from a University when some software environment happened to be...
The success of VHDL since it has been balloted in 1987 as an IEEE standard may look incomprehensible to the large population of hardware designers, wh...
|
|
cena:
785,36 zł |
System-Level Synthesis
ISBN: 9780792357483 / Angielski / Twarda / 1999 / 435 str. Termin realizacji zamówienia: ok. 20 dni roboczych. System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has become the bottleneck in the design of electronic systems, including both hardware and software, in several major industrial fields, including telecommunications, automotive and aerospace engineering. The major difficulty with the subject is that it demands contributions from several research fields, including system specification, system architecture, hardware design, and software design. Most existing book cover well only a few aspects of...
System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has becom...
|
|
cena:
392,66 zł |
Electronic Chips & Systems Design Languages
ISBN: 9780792373117 / Angielski / Twarda / 2001 / 306 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip (SOC) design requires designers to work in a multi-lingual environment which is becoming increasingly difficult to master. It is therefore crucial for them to learn, almost in real time, from the experiences of their colleagues in the use of design languages and how these languages have become more advanced to cope with system design.
System designers, as well as students willing to become system designers, often do not have the time to... Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip ...
|
|
cena:
785,36 zł |
Low Power Design in Deep Submicron Electronics
ISBN: 9780792381037 / Angielski / Miękka / 1997 / 580 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Low Power Design in Deep Submicron Electronics deals with the different aspects of low power design for deep submicron electronics at all levels of abstraction from system level to circuit level and technology. Its objective is to guide industrial and academic engineers and researchers in the selection of methods, technologies and tools and to provide a baseline for further developments. Furthermore the book has been written to serve as a textbook for postgraduate student courses. In order to achieve both goals, it is structured into different chapters each of which addresses a...
Low Power Design in Deep Submicron Electronics deals with the different aspects of low power design for deep submicron electronics at all lev...
|
|
cena:
863,90 zł |