Jard claude (11 Ergebnisse)
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 34,29
EUR 7,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 314 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,51
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,67
EUR 11,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2008 edition. 294 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 83,21
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,74
EUR 61,83 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware s…ystems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 62,38 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invite…d talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
- Hardcover
Anbieter: World of Books (was SecondSale), Montgomery, IL, USAWorld of Books (was SecondSale)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 132,71
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 30,66
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together… with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 175,91
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. 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.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 227,81
EUR 9,12 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
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.
Weitere BilderVerlag: Isidore Liseux, Paris, 1879
Anbieter: H. PICARD ET FILS, depuis 1902, PARIS, FrankreichH. PICARD ET FILS, depuis 1902
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 300,00
EUR 30,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPetit in-12 (155 x 101 mm), XII - 207 pp - (1) pp. Table, demi-maroquin bleu marine, coins, dos à cinq nerfs ornà , tête dorà e, non rognà (reliure signà e Lanscelin). Contient trois contes : "Tant mieux pour elle, conte plaisant", "Le Sultan Misapouf et la Princesse Grisemine, ou les mà tamorphoses", et "La Navette d'amour", p…rà cà dà s d'une Notice par Alcide Bonneau. (quelques dà fauts sur les coins, rousseurs). // Small 12o (155 x 101 mm), XII - 207 pp - (1) pp. Table, dark blue three-quarter morocco, spine tooled raised on five bands, top edge gilt, uncut (binding signed Lanscelin). Contains three tales : "Tant mieux pour elle, conte plaisant", "Le Sultan Misapouf et la Princesse Grisemine, ou les mà tamorphoses", and "La Navette d'amour". In introduction : a Notice by Alcide Bonneau.
