wyszukanych pozycji: 2
![]() |
Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
ISBN: 9783639024685 / Angielski / Miękka / 2008 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Static methods are very successful in deriving crucial properties (e.g.timing behaviour) of safety critical systems. Some information in the analysed program are not available either because they cannot be determined statically or because they were intentionally sacrificed (i.e.abstracted) to make program analysis tractable. These abstractions make program simulation nondeterministic. This book describes the algorithms and semantics developed and used in building an abstraction-aware compiler that derives/generates pipeline analysis from an abstracted VHDL specification of the target...
Static methods are very successful in deriving crucial properties (e.g.timing behaviour) of safety critical systems. Some information in the analysed ...
|
cena:
243,96 zł |
![]() |
Inductively Coupled Plasma-Optical Emission Spectrometry
ISBN: 9783659439186 / Angielski / Miękka / 2013 / 80 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The book is intended as that introduction to the ICP-OES technique. It was written not only for those persons who have some familiarity with other analytical techniques such as atomic absorption spectrometry but also for novices in the field of analytical chemistry. The book begins with some simple, yet fundamental, concepts regarding atomic spectroscopy and the analytical techniques based on this field of study. As one progresses through the book, more detail regarding the ICP-OES technique is presented including information about ICP-OES performance, instrumentation and methodology. We...
The book is intended as that introduction to the ICP-OES technique. It was written not only for those persons who have some familiarity with other ana...
|
cena:
198,64 zł |