Integrated Formal Methods 5th (9 results)
Integrated Formal Methods : 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings
Romijn, Judi M. T. (EDT); Smith, Graeme (EDT); Van De Pol, Jaco C. (EDT); International Conference on Integrated F; Smith, Graeme; Pol, Jaco Van De
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 71.70
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Integrated Formal Methods : 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings
Romijn, Judi M. T. (EDT); Smith, Graeme (EDT); Van De Pol, Jaco C. (EDT); International Conference on Integrated F; Smith, Graeme; Pol, Jaco Van De
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.13
US$ 20.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 76.85
US$ 15.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.78
US$ 39.29 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- A Family of Mathematical Methods for Professional Software Documentation.- Generating Path Conditions for Timed Systems.- Software Model Checking: Searching for Computations in the Abstract or the Concrete.- Session: Components.- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.- Session: State/Event-Based Verification.- State/Event Software Verification for Branching-Time Specifications.- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.- Chunks: Component Verification in CSP B.- Session: System Development.- Agile Formal Method Engineering.- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.- Enabling Security Testing from Specification to Code.- Session: Applications of B.- Development of Fault Tolerant Grid Applications Using Distributed B.- Formal Methods Meet Domain Specific Languages.- Synthesizing B Specifications from eb 3 Attribute Definitions.- Session: Tool Support.- CZT Support for Z Extensions.- Embedding the Stable Failures Model of CSP in PVS.- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.- Session: Non-software Domains.- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.- Formalising Interactive Voice Services with SDL.- Session: Semantics.- A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.- Session: UML and Statecharts.- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the -Calculus.- An Integrated Framework for Scenarios and State Machines.- Consistency in UML and B Multi-view Specifications.…
Integrated Formal Methods : 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings
Romijn, Judi M. T. (EDT); Smith, Graeme (EDT); Van De Pol, Jaco C. (EDT); International Conference on Integrated F; Smith, Graeme; Pol, Jaco Van De
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 146.96
US$ 20.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 160.71
US$ 33.34 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Integrated Formal Methods : 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings
Romijn, Judi M. T. (EDT); Smith, Graeme (EDT); Van De Pol, Jaco C. (EDT); International Conference on Integrated F; Smith, Graeme; Pol, Jaco Van De
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 191.29
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
- Print on Demand
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.73
US$ 8.65 shippingShips from United Kingdom to U.S.A.Quantity: 20 available
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 58.11
US$ 78.58 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Integrated Formal Methods | 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings | Judi M. T. Romijn (u. a.) | Taschenbuch | xi | Englisch | 2005 | Springer | EAN 9783540304920 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…
