home > paid book/ebook

Correctness and Completeness (Progress in Theoretical Computer Science)

Use coupon below to get discount at eCampus.com!

SHADES
$3 off textbook orders over $75

SUNBLOCK
$4 off textbook orders over $90

SUNSHINE
$5 off textbook orders over $100

Copy the coupon code before clicking the button!

AVAILABILITY
MerchantFormatPrice
Amazon USPaperback$131.71 - $155.00
eCampusPaperback$151.13 discount!
PREVIEW
Related Documents
Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings (Lecture Notes in Computer Science)

Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India,…

$7.46 - $89.95

This book constitutes the refereed proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99, held in Chennai, India, in December 1999. The ...

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical Computer Science. An EATCS Series)

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical…

$86.50 - $109.00

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis ...

Disarmament Diplomacy and Human Security: Regimes, Norms and Moral Progress in International Relations (Routledge Global Security Studies)

Disarmament Diplomacy and Human Security: Regimes, Norms and Moral Progress in International Relations…

$42.95 - $141.38

This book assesses how progress in disarmament diplomacy in the last decade has improved human security.In doing so, the book looks at three cases of the development of international ...

Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance (Texts in Theoretical Computer Science. An EATCS Series)

Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and…

$86.73 - $115.00

Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details.Accessible to both beginners as well as specialists.

Universal Algebra and Applications in Theoretical Computer Science

Universal Algebra and Applications in Theoretical Computer Science

$97.45

Universal Algebra and Applications in Theoretical Computer Science

Trends, Techniques, and Problems in Theoretical Computer Science: Selected Contributions

Trends, Techniques, and Problems in Theoretical Computer Science: Selected Contributions

$51.63

Trends, Techniques, and Problems in Theoretical Computer Science: Selected Contributions

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

$44.99 - $67.95

This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The first part deals with the traditional topics ...

Current Trends in Theoretical Computer Science

Current Trends in Theoretical Computer Science

$352.53

Current Trends in Theoretical Computer Science

Current Trends in Theoretical Computer Science

Current Trends in Theoretical Computer Science

$415.66

Current Trends in Theoretical Computer Science

Developments in Theoretical Computer Science

Developments in Theoretical Computer Science

$243.70

Developments in Theoretical Computer Science

loading