Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
EUR 173,77
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.Formal methods are mathem.
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2009
ISBN 10: 1848211430 ISBN 13: 9781848211438
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. Editor(s): Jard, Claude; Roux, Olivier H. Series: ISTE. Num Pages: 288 pages, Illustrations. BIC Classification: TJ. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 20. Weight in Grams: 546. . 2009. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.