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.