Results (1 - 4) of 4

Show results for

Product Type

  • All Product Types
  • Books (4)
  • Magazines & Periodicals
  • Comics
  • Sheet Music
  • Art, Prints & Posters
  • Photographs
  • Maps
  • Manuscripts &
    Paper Collectibles

Refine by

Condition

Binding

Collectible Attributes

Free Shipping

Seller Location

Seller Rating

About this Item: Condition: New. Seller Inventory # ria9783838363165_ing

More information about this seller | Contact this seller 1.

Clément Hurlin

Published by LAP LAMBERT Academic Publishing (2010)

ISBN 10: 3838363167 ISBN 13: 9783838363165

Used
Softcover

Quantity Available: 1

From: Ergodebooks (RICHMOND, TX, U.S.A.)

Seller Rating: 4-star rating

Add to Basket
Price: US$ 103.75
Convert Currency
Shipping: US$ 4.99
Within U.S.A.

Destination, Rates & Speeds

About this Item: LAP LAMBERT Academic Publishing, 2010. Paperback. Condition: Used: Good. Seller Inventory # SONG3838363167

More information about this seller | Contact this seller 2.

Clément Hurlin

Published by LAP Lambert Acad. Publ. Mai 2010 (2010)

ISBN 10: 3838363167 ISBN 13: 9783838363165

Softcover
New

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Seller Rating: 5-star rating

Add to Basket
Price: US$ 82.01
Convert Currency
Shipping: US$ 34.54
From Germany to U.S.A.

Destination, Rates & Speeds

About this Item: LAP Lambert Acad. Publ. Mai 2010, 2010. Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Neuware - Multithreading is becoming ubiquitous to build high-performance software. Multithreaded programs, however, are both harder to write and harder to debug. The random occurrence of tricky bugs make them highly time-consuming to find. In this context, program verification is a powerful tool to build safe multithreaded programs. This book adapts separation logic - a novel and successful technique to reason about imperative programs - to multithreaded object-oriented programs à la Java. First it shows how to finely reason about the start and join primitives for multithreading. Second, this book shows to reason about reentrant locks i.e. Java's locks. Then, the book describes two novel applications of separation logic : debugging of specifications by means of protocols and enhancement of verification by disproving. The book concludes with an entirely new approach to automatic parallelization that 1/ permits to parallelize arbitrary code (i.e. not only loops) 2/ offers high confidence in the parallelized programs obtained. This book is targeted to theorists and practitioners of program verification that aim at discovering the last advances in this field. 200 pp. Englisch. Seller Inventory # 9783838363165

More information about this seller | Contact this seller 3.

Clà ment Hurlin

Published by LAP LAMBERT Academic Publishing (2010)

ISBN 10: 3838363167 ISBN 13: 9783838363165

Used
Softcover

Quantity Available: 1

From: Books Express (Portsmouth, NH, U.S.A.)

Seller Rating: 5-star rating

Add to Basket
Price: US$ 271.32
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

About this Item: LAP LAMBERT Academic Publishing, 2010. Paperback. Condition: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Seller Inventory # 3838363167

More information about this seller | Contact this seller 4.

Results (1 - 4) of 4