Logic in Computer Science: Modelling and Reasoning about Systems Book

Name: Logic in Computer Science: Modelling and Reasoning about Systems,
Brand: University Press
SKU: 9780521543101
Price: 99.99 USD
Availability: InStock
Rating: 5 (2 reviews)

2 Ratings

Logic in Computer Science: Modelling and Reasoning about Systems, , Logic in Computer Science: Modelling and Reasoning about Systems

5 out of 5 stars based on 2 reviews

Logic in Computer Science: Modelling and Reasoning about Systems
Written by author Michael Huth
Published by Cambridge University Press, August 2004
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

Buy Digital USD$99.99

Book Categories

Authors

1 Propositional logic 1
2 Predicate logic 93
3 Verification by model checking 172
4 Program verification 256
5 Modal logics and agents 306
6 Binary decision diagrams 358

Title: Logic in Computer Science: Modelling and Reasoning about Systems

Manufacturer:

University Press

Item Number: 9780521543101

Publication Date: August 2004

Number: 2

Product Description: Full Name: Logic in Computer Science: Modelling and Reasoning about Systems; Short Name:Logic in Computer Science

Universal Product Code (UPC): 9780521543101

WonderClub Stock Keeping Unit (WSKU): 9780521543101

Rating: 5/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/31/01/9780521543101.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between Apr 24 - May 24 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9295 total ratings)

Question Concerning Logic in Computer Science

Ask a Question about Logic in Computer Science

No Question found!

Read Reviews for Logic in Computer Science: Modelling and Reasoning about Systems Write review

Erin Kearney

reviewed Logic in Computer Science: Modelling and Reasoning about Systems on January 15, 2019

Logic in Computer Science: Modelling and Reasoning about Systems

Very well written. Gives required for formal verification background. Contains good excersizes for self study.

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Logic in Computer Science: Modelling and Reasoning about Systems, , Logic in Computer Science: Modelling and Reasoning about Systems to the inventory that you are selling on WonderClub

Add Logic in Computer Science: Modelling and Reasoning about Systems, , Logic in Computer Science: Modelling and Reasoning about Systems to your collection on WonderClub

Logic in Computer Science: Modelling and Reasoning about Systems Book

Book Categories

Authors

University Press

Question Concerning Logic in Computer Science

Read Reviews for Logic in Computer Science: Modelling and Reasoning about Systems Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ