Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781447141280
Condition
New
Product Description

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

Available Colors
Available Sizes
1 Offer Price Range: $49.99 - $49.99
BEST PRICE

Single Product Purchase

$45.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$49.99 $49.99

10% OFF
This deals requires coupon Get Code Here
$45.00
See Site In stock Visit Store

Similar Products

Trusted WEB 4.0 Infrastruktur fr eine Digitalverfassung

$39.99

Wie man effektiv und nachhaltig Physik studiert

$17.99

Market-Driven Spectrum Sharing in Cognitive Radio

$54.99

Mathematik

$69.99

Lecture Notes on Acoustics and Noise Control

$89.99

Die Erarbeitung als Voraussetzung des Urlaubsentgeltanspruchs

$64.99

Circumcision and Human Rights

$169.99

Advances and Technical Standards in Neurosurgery

$169.99

International Trade Policy and Class Dynamics in South Africa

$139.99

Entertainment Computing -- ICEC 2009

$39.99

Absatzmittlergerichtetes, identittsbasiertes Markenmanagement

$79.99

Basic and Clinical Toxicology of Mustard Compounds

$84.99

Resistance to Anti-Cancer Therapeutics Targeting Receptor Tyrosine Kinases and Downstream Pathways

$169.99

Orthopedics in Disasters

$169.99

Computational Toxicology

$199.99

Recent Advances in Fluid Dynamics

$169.99

Smart Health

$54.99

Proceedings of the 18th Symposium on Environmental Issues and Waste Management in Energy and Mineral

$169.99

Ein nachhaltig anderes Parteiensystem

$59.99

Dynamics of Civil Structures, Volume 2

$169.00

Risikomanagement bei Immobilieninvestments

$84.99

Nerven kitzeln

$19.99

Verweisungsfehler im Datenschutz-Strafrecht

$59.99

Context-Aware Systems and Applications

$54.99

Clever aus der Abseitsfalle

$64.99

Analysis of Neurophysiological Brain Functioning

$39.99

Bioelectrochemistry II

$39.99

Projektaufgaben Konstruktion

$44.99

The Political Content of British Economic, Business and Financial Journalism

$84.99

Born to Shine: Do Good, Find Your Joy, and Build a Life You Love by Kendra Scott

$28.00

International Development Policy: Energy and Development

$44.99

The Subthalamic Nucleus

$139.99

Green Computing in Smart Cities: Simulation and Techniques

$179.99

Konstruieren mit Faser-Kunststoff-Verbunden

$99.00

Electromagnetic Field Theory for Engineers and Physicists

$109.99

Holidays are Better with Friends (Hardcover)

$13.49

Color Atlas of Vascular Diseases

$109.99

International Financial Operations

$169.99

Pediatric Rheumatology

$109.00

Lastenhubschrauber L-41 und L-51 fr Nutzlast

$49.99