$88.00 with 20 percent savings
List Price: $110.00

The List Price is the suggested retail price of a new product as provided by a manufacturer, supplier, or seller. Except for books, Amazon will display a List Price if the product was purchased by customers on Amazon or offered by other retailers at or above the List Price in at least the past 90 days. List prices may not necessarily reflect the product's prevailing market price.
Learn more
FREE Returns
FREE delivery Thursday, May 16. Order within 9 hrs 2 mins
In Stock
$$88.00 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$88.00
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Ships from
Amazon.com
Ships from
Amazon.com
Sold by
Amazon.com
Sold by
Amazon.com
Returns
30-day easy returns
30-day easy returns
This item can be returned in its original condition for a full refund or replacement within 30 days of receipt.
Read full return policy
Returns
30-day easy returns
This item can be returned in its original condition for a full refund or replacement within 30 days of receipt.
Read full return policy
Payment
Secure transaction
Your transaction is secure
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
Payment
Secure transaction
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
Amazon book clubs early access
Loading your book clubs
There was a problem loading your book clubs. Please try again.
Not in a club? Learn more
Amazon book clubs early access

Join or create book clubs

Choose books together

Track your books
Bring your club to Amazon Book Clubs, start a new book club and invite your friends to join, or find a club that’s right for you for free.
Explore Amazon Book Clubs
Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

Formal Methods in Computer Science (Textbooks in Mathematics) 1st Edition

by Jiacun Wang (Author), William Tepfenhart (Author)
See all formats and editions
{"desktop_buybox_group_1":[{"displayPrice":"$88.00","priceAmount":88.00,"currencySymbol":"$","integerValue":"88","decimalSeparator":".","fractionalValue":"00","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"0bbtyqJDZfa3NGDTlK9rndDPzVYDn6FzMQcNm6TybaXRCcGm%2BY%2BpiIFCWvB5I15h1vhgD4L0o44lqra2uifz3gRKk8h0kk30SHGbMXUYxtGHaH%2B8KRMKdOPhM2NIKsvdRBZfn5B4kqz3Ox2HEH4Z3Q%3D%3D","locale":"en-US","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

Purchase options and add-ons

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.

The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.

Features

* Introduces a comprehensive, yet manageable set of formal techniques for computer science students

* Stresses real-world application value of each formal technique

* Offers a good set of exercises which help students better understand the presented techniques

* Also offers a prepared source code for downloading and non-commercial use

Read more Read less
Previous page
  1. ISBN-10
    1498775322
  2. ISBN-13
    978-1498775328
  3. Edition
    1st
  4. Publication date
    July 3, 2019
  5. Part of series
    Textbooks in Mathematics
  6. Language
    English
  7. Dimensions
    9.21 x 6.14 x 0.65 inches
  8. Print length
    294 pages
  9. See all details
Next page
Amazon First Reads | Editors' picks at exclusive prices

Editorial Reviews

About the Author

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.

William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.

Product details

  • Publisher ‏ : ‎ Chapman and Hall/CRC; 1st edition (July 3, 2019)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 294 pages
  • ISBN-10 ‏ : ‎ 1498775322
  • ISBN-13 ‏ : ‎ 978-1498775328
  • Item Weight ‏ : ‎ 15.8 ounces
  • Dimensions ‏ : ‎ 9.21 x 6.14 x 0.65 inches

Customer reviews

No customer reviews