Godefroid Patrick (24 results)

- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 37.50
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 37.53
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 37.53
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Softcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 29.42
US$ 8.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 308 Illus.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 34.20
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 308.

- Softcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
US$ 38.77
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 31.29
US$ 11.40 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 308.

Model Checking Software : 12th International SPIN Workshop, San Francisco, Ca, USA, August 22-24, 2005, Proceedings
International Spin Workshop 2005 San Fra; Godefroid, Patrice
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.31
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Model Checking Software : 12th International SPIN Workshop, San Francisco, Ca, USA, August 22-24, 2005, Proceedings
International Spin Workshop 2005 San Fra; Godefroid, Patrice
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 77.96
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
- International Edition
Seller: UK BOOKS STORE, London, LONDO, United KingdomUK BOOKS STORE
Contact seller5-star sellerInternational EditionCondition: New
US$ 76.65
US$ 3.95 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.10
US$ 15.82 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 64.96
US$ 20.46 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.

Model Checking Software : 12th International SPIN Workshop, San Francisco, Ca, USA, August 22-24, 2005, Proceedings
International Spin Workshop 2005 San Fra; Godefroid, Patrice
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 68.35
US$ 19.81 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Model Checking Software : 12th International SPIN Workshop, San Francisco, Ca, USA, August 22-24, 2005, Proceedings
International Spin Workshop 2005 San Fra; Godefroid, Patrice
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.10
US$ 19.81 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.14
US$ 71.43 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22 24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based tech…niques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer s Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.

- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.33
US$ 80.23 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Model Checking Software | 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings | Patrick Godefroid | Taschenbuch | xii | Englisch | 2005 | Springer | EAN 9783540281955 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg,…juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

- Hardcover
Seller: Books+, Saint Maurice, , FranceBooks+
Contact seller5-star sellerCondition: Used
US$ 118.06
US$ 10.32 shippingShips from France to U.S.A.Quantity: 1 available
In-4, 33 cm, 144pp., illustr., Bibliogr. p. 141. Index, reliure pleine toile de l'editeur avec jaquette, Nb-0308.

- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 112.72
US$ 13.21 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 224 pages. German language. 8.27x5.83x0.51 inches. In Stock.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 70.72
US$ 70.46 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Mobile Standortbezogene Onlinewerbung als kommunikationspolitisches Instrument im stationären Einzelhandel: Eine empirische Untersuchung situativer Einflussfaktoren.

- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 70.72
US$ 80.23 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Mobile Standortbezogene Onlinewerbung | als kommunikationspolitisches Instrument im stationären Einzelhandel: Eine empirische Untersuchung situativer Einflussfaktoren | Patrick Godefroid | Taschenbuch | 224 S. | Deutsch | 2013 | epubli | EAN 9783844250220 | Verantwortliche Person für die EU: Neopubli… GmbH, Sebastian Stude, Köpenicker Str. 154a, 10997 Berlin, produktsicherheit[at]epubli[dot]com | Anbieter: preigu.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.14
US$ 26.36 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22 24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-che…cking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer s Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications. 304 pp. Englisch.

- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.10
US$ 56.15 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks/Papers.- Pushdown Model Checking for Security.- Execution Generated Test Cases: How to Make Systems Code Crash Itself.- Invited Tutorials.- Effective Bug Hunting with Spin and Mo…dex.- The BLAST Software Verification System.- Model Checking Pro.

- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 63.14
US$ 68.77 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks/Papers.- Pushdown Model Checking for Security.- Execution Generated Test Cases: How to Make Systems Code Crash Itself.- Invited Tutorials.- Effective Bug Hunting with Spin and Modex.- The BLAST Software Verification System….- Model Checking Programs with Java PathFinder.- State Representation and Abstraction.- An Incremental Heap Canonicalization Algorithm.- Memory Efficient State Space Storage in Explicit Software Model Checking.- Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.- Dealing with Concurrency.- Symbolic Model Checking for Asynchronous Boolean Programs.- Improving Spin's Partial-Order Reduction for Breadth-First Search.- Sound Transaction-Based Reduction Without Cycle Detection.- Dealing with Complex Data.- Repairing Structurally Complex Data.- Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.- Behavioural Models for Hierarchical Components.- Checking Temporal Properties.- On-the-Fly Emptiness Checks for Generalized Büchi Automata.- Stuttering Congruence for .- Verifying Pattern-Generated LTL Formulas: A Case Study.- Checking Security and Real-Time Properties.- Generic Verification of Security Protocols.- Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.- Model Checking Machine Code with the GNU Debugger.- Tool Papers.- Etch: An Enhanced Type Checking Tool for Promela.- Enhanced Probabilistic Verification with 3Spin and 3Murphi.- SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.- Learning-Based Assume-Guarantee Verification (Tool Paper).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 70.72
US$ 26.36 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mobile Standortbezogene Onlinewerbung als kommunikationspolitisches Instrument im stationären Einzelhandel: Eine empirische Untersuchung situativer Einflussfaktoren 224 pp. Deutsch.