Integrated formal methods 5th (8 risultati)
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
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,87
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
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
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,81
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,75
EUR 17,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,65
EUR 13,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,40
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Taschenbuch. Condizione: 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
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 153,36
EUR 17,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
- Print on Demand
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,71
EUR 7,73 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 20 disponibili
PF. Condizione: 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.
- Brossura
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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.…
