Concurrency verification: introduction to compositional ...
 Book Description: This is the first introduction to the problem of verifying concurrent programs scaling up to a realistic size. The compositional proof methods described reduce the problem to the independent verification of the program's parts. The [... more]
$220.00
Amazon.com |
Diskrete Mathematik (Springer-Lehrbuch)
Author: László Lovász Author: József Pelikán Author: Katalin Vesztergombi Binding: Digital Edition: 1 Format: Amazon Upgrade Number Of Pages: 362 Publication Date: 2007-01 [... more]
$6.99
Amazon.com |
Discrete Mathematics
If You're Brilliant and Don't Mind a Lack of Rigor, Try It.: Ouch. I definitely made a mistake trying this book. From what I can see, the only set of people who might find this book useful would be genius non-Math-types. My handy-dandy way of explaining [... more]
$74.95
Amazon.com |
Journal Of The Vampire Hunter [1] Claws Of Darkness ...
BANE AND CARLOS FINALLY MEET!: In the fourth installment of Jerry Cho's magnificent vampire odyssey Journal of the Vampire Hunter: Claws of Darkness, the hunter, Nicholas Bane has his first confrontation with the vampire drug lord Gino Carlos. Bane comes [... more]
$5.95
Amazon.com |
Winter Night: Selected Poems
Captures the Language and Soul of a Great Hungarian Poet: When I think of great Hungarian poets whose works can stand the trials of translation, and have a reason to be read outside of Hungary, among the first is Attila Jozsef. American readers of Sylvia [... more]
$14.95
Amazon.com |
Irregularities of Distribution (Cambridge Tracts in ...
Book Description: This book is an authoritative description of the various approaches to and methods in the theory of irregularities of distribution. The subject is primarily concerned with number theory, but also borders on combinatorics and probability [... more]
$90.00
Amazon.com |
Combinatorial Games: Tic-Tac-Toe Theory (Encyclopedia of ...
Book Description: József Beck shows readers how to escape from the combinatorial chaos arising in the analysis of many games by using the fake probabilistic method, a game-theoretic adaptation of the probabilistic method in combinatorics. Striking [... more]
$170.00
Amazon.com |
The Swiss Corridor (England)
Author: Jozef Garlinski Binding: Hardcover Dewey Decimal Number: 940.5486494 EAN: 9780460043519 ISBN: 046004351X Number Of Pages: 240 Publication Date: 1981-08 [... more]
$24.00
Amazon.com |
Specification and Compositional Verification of ...
Author: Jozef Hooman Binding: Digital Edition: 1 Format: Amazon Upgrade Number Of Pages: 235 Publication Date: 1991-12-18 [... more]
$11.99
Amazon.com |
Hitler's Last Weapons -
Author: Jozef Garlinski - Binding: Hardcover Publication Date: 1978 [... more]
Amazon.com |
Discrete Mathematics
If You're Brilliant and Don't Mind a Lack of Rigor, Try It.: Ouch. I definitely made a mistake trying this book. From what I can see, the only set of people who might find this book useful would be genius non-Math-types. My handy-dandy way of explaining [... more]
$44.95
Amazon.com |
Specification and Compositional Verification of ...
Author: J. Hooman Author: Jozef Hooman Binding: Kindle Edition Format: Kindle Book Number Of Pages: 235 Publication Date: 1991-12 [... more]
$59.95
Amazon.com |
Information provided in association with Amazon.com.
Prices are intended as a guide only, and are subject to change.
To confirm pricing and availability, click through to the merchant.
