Save $20 | Limited-Time Offer. Get the code »

Hi! Sign In
- Be the First to Know & Save $5.00
  
  Sign up for an exclusive coupon good on your next order.
  
  Enter Your Email Address to Subscribe
  
  By signing up you enjoy subscriber-only access to the latest news, personalized book picks and special offers, delivered right to your inbox.
  
  We never share your information and you can unsubscribe at any time.
- Sign In
  
  Create an Account Track Order Order History Wishlist
(0)

Textbooks
- - Popular Subjects
    
    Accounting
    
    Anthropology
    
    Architecture
    
    Art
    
    Art History
    
    Astronomy
    
    Biology
    
    Business Management
    
    Calculus
    
    Chemistry
    
    Computer Science
    
    Criminal Justice
    
    Economics
    
    Education
    
    Engineering
    
    Finance
    
    Geography
    
    Geology
    
    Health
    
    History
    
    Language
    
    Law
    
    Literature
    
    Marketing
    
    Mathematics
    
    Nursing
    
    Philosophy
    
    Physical Science
    
    Physics
    
    Programming
    
    Psychology
    
    Religion
    
    Sociology
    
    Statistics
    
    Theater
  - eBooks
    
    Discover eBooks ^New!
    
    eBooks FAQ
    
    Popular eBook subjects
    
    Business & Economics
    
    Education
    
    Mathematics
    
    Medical
    
    Psychology
    
    Science
    
    eBooks now at Alibris
    
    Save your back and your bank with eBooks! We have a wide variety of textbooks, tradebooks, and fiction titles, as well as courseware for college students.
    Shop Now
  - Textbook Buyback
    
    Search For Your Books
    
    Buyback Status
    
    FAQs
    
    Sell Back Your Used Textbooks for Cash
    
    Get cash back by selling your textbooks through Alibris. Our program is as easy as 1-2-3 and offers super competitive prices.
    Sell Today
  - Back to School Savings
    
    Search New Textbooks
    
    Promotions ^New!
    
    Back To School Guide
    
    International Editions
    
    One-Stop Shop For All Your Back To School Needs
    
    See how much other students are saving on textbooks today.
    Shop Now
Books
- - Books Subjects
    
    Antiques & Collectibles
    
    Architecture
    
    Art
    
    Bibles
    
    Biography
    
    Business & Finance
    
    Career & Professional
    
    Children's Books
    
    Comics
    
    Computer
    
    Cookbooks
    
    Dictionary
    
    Drama
    
    Encyclopedia
    
    Erotica
    
    Family & Relationship
    
    Fantasy
    
    Fiction
    
    Graphic Novels
    
    Health & Fitness
    
    History
    
    Horror
    
    Humor
    
    Maps
    
    Mathematics
    
    Memoirs
    
    Mystery
    
    Poetry
    
    Religion
    
    Romance
    
    Science
    
    Science Fiction
    
    Self Help
    
    Sports & Recreation
    
    Travel
  - Popular Authors
    
    Atwood, Margaret
    
    Austen, Jane
    
    Boynton, Sandra
    
    Child, Lee
    
    Christie, Agatha
    
    Clancy, Tom
    
    Evanovich, Janet
    
    Flynn, Gillian
    
    Follet, Ken
    
    French, Tana
    
    Gaiman, Neil
    
    Gladwell, Malcolm
    
    Grisham, John
    
    Hoover, Colleen
    
    Ishiguro, Kazuo
    
    Ito, Junji
    
    King, Stephen
    
    Lockwood, Ingersoll
    
    Maas, SarahJ.
    
    Meyer, Joyce
    
    Morrison, Toni
    
    Murakami, Haruki
    
    Owens, Candace
    
    Patterson, James
    
    Picoult, Jodi
    
    Poe, EdgarAllan
    
    Pratchett, Terry
    
    Robbins, Tony
    
    Seuss, Dr.
    
    Sowell, Thomas
    
    Sparks, Nicholas
    
    Tolkien, JRR
    
    Vonnegut, Kurt, Jr.
    
    Watts, Alan
    
    More Popular Authors
  - Rare Books
    
    Find Rare Books
    
    First Edition Books
    
    Antiquarian Books
    
    Signed Books
    
    Find A Seller
    
    Book Collecting Essentials
    
    What Rare Books Worth Buying
    
    Restoration & Repair of Classic Books
    
    Collectible Out of Print books on The Middle East
    
    How to Determine Book Conditions of Rare & Vintage Books
    
    FAQs about collecting Rare and Vintage books
    
    Collect Rare and Out-of-Print Books
    
    As one of the premier rare book sites on the Internet, Alibris has thousands of rare books, first editions, and signed books available.
    Browse Now
  - Customer Favorites
    
    Best-Sellers
    
    New Releases
    
    Classics
    
    Bargain Books
    
    Find the Book to Satisfy Your Book Cravings
    
    With one of the largest book inventories in the world, find the book you are looking for. To help, we provided some of our favorites.
    Shop Now
  - Advanced Search
    
    With an active marketplace of over 270 million items, use the
    Alibris Advanced Search Page to find any item you are looking for.
    
    Through the Advanced Search Page, you can find items by searching specific terms such as Title, Author, Subject, ISBN, etc or you can narrow your focus using our amazing set of criteria parameters.
    
    Advanced Search Can Help Find What You Are Searching For
    
    Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
    Search Now
Kids & Young Adult
- - Kids Books
    
    Kids Books by Age
    
    0 - 2 years
    
    3 - 5 years
    
    6 - 8 years
    
    9 - 12 years
    
    Browse
    
    Best Sellers
    
    New Releases
    
    Book Sets
    
    Chapter Books
    
    Subjects
    
    Classics
    
    Non-Fiction
    
    Mystery
    
    Dinosaurs
    
    Poetry
    
    Nursery Rhymes
    
    History
    
    Fantasy
    
    Dogs
    
    Popular Kids Authors
    
    Dav Pilkey
    
    Dr Seuss
    
    Roald Dahl
    
    Beatrix Potter
    
    Popular Books
    
    Dog Man
    
    Diary Of A Wimpy Kid
    
    Harry Potter
  - Young Adult Books
    
    Browse
    
    Bestsellers
    
    New Releases
    
    Classics
    
    Series
    
    Twilight
    
    Hunger Games
    
    Throne of Glass
    
    Miss Peregrine's Peculiar Children
    
    Popular YA
    & Teen Authors
    
    Leigh Bardugo
    
    JK Rowling
    
    Stephenie Meyer
    
    Sarah J Maas
    
    Ransom Riggs
    
    Suzanne Collins
    
    Subjects
    
    Romance
    
    Mystery
    
    Graphic Novels
    
    Fantasy
    
    Fiction
    
    Poetry
    
    Books For Teen Girls
    
    Books For Teen Boys
    
    LGBTQ
Music
- - Music Genres
    
    Alternative
    
    Blues
    
    Children's Music
    
    Christian & Gospel
    
    Comedy
    
    Country
    
    Electronic
    
    Folk
    
    Hip-Hop
    
    Jazz
    
    Latin
    
    Metal
    
    Pop
    
    R&B & Soul
    
    Rap
    
    Reggae
    
    Rock
    
    Soundtrack
    
    Find A Music Collection Unlike Any Other
    
    From new releases to oldies, discover your next favorite album and artist!
    Browse Now
  - Classical Music
    
    Chamber Music
    
    Choral Music
    
    Opera
    
    Orchestral Music
    
    Symphony
    
    Vocal Music
    
    Discover New and Used Classical Music
    
    Like Classical Music? So does Alibris. See one of the largest collections of Classical Music around.
    Browse Now
  - Popular Artists
    
    ACDC
    
    Alabama
    
    Ariana Grande
    
    Billie Eilish
    
    Bruno Mars
    
    BTS
    
    Cardi B
    
    Chicago
    
    Drake
    
    Eagles
    
    Ed Sheeran
    
    Elton John
    
    Elvis Presley
    
    Eminem
    
    Garth Brooks
    
    George Strait
    
    Journey
    
    Justin Bieber
    
    Kane Brown
    
    Katy Perry
    
    Kidz Bop
    
    Lady Gaga
    
    Lauren Daigle
    
    Madonna
    
    Metallica
    
    Michael Jackson
    
    NF
    
    Pink Floyd
    
    Post Malone
    
    Queen
    
    Radiohead
    
    Rihanna
    
    Santana
    
    Taylor Swift
    
    More Popular Artists
  - Advanced Search
    
    With an active marketplace of over 270 million items, use the
    Alibris Advanced Search Page to find any item you are looking for.
    
    Through the Advanced Search, you can find items by searching specific terms such as Title, Artist, Song Title, Genre, etc or you can narrow your focus using our amazing set of criteria parameters.
    
    Advanced Search Can Help Find What You Are Searching For
    
    Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
    Search Now
Movies
- - Movie Genres
    
    Action
    
    Adventure
    
    Animals
    
    Anime
    
    Biography
    
    Children's
    
    Comedy
    
    Crime
    
    Documentary
    
    Drama
    
    Family
    
    Fantasy
    
    Health & Fitness
    
    History
    
    Horror
    
    Music
    
    Musical
    
    Mystery
    
    Romance
    
    Sci-fi
    
    Sport
    
    Thriller
    
    TV Shows
    
    War
    
    Western
  - Popular Actors & Directors
    
    Alfred Hitchcock
    
    Amber Heard
    
    Anthony Hopkins
    
    Antonio Banderas
    
    Bradley Cooper
    
    Christian Bale
    
    Christopher Nolan
    
    Clint Eastwood
    
    Dakota Fanning
    
    David Lynch
    
    Denzel Washington
    
    Dwayne Johnson
    
    Emma Roberts
    
    Emma Watson
    
    Guillermo del Toro
    
    Guy Ritchie
    
    Hailee Steinfeld
    
    James Cameron
    
    Johnny Depp
    
    Leonardo DiCaprio
    
    Martin Scorsese
    
    Matt Damon
    
    Meryl Streep
    
    Morgan Freeman
    
    Nicole Kidman
    
    Quentin Tarantino
    
    Robert De Niro
    
    Robert Downey Jr.
    
    Scarlett Johansson
    
    Spike Lee
    
    Stanley Kubrick
    
    Steven Spielberg
    
    Tim Burton
    
    Tom Hanks
    
    View all
  - Critically Acclaimed
    
    Academy Awards
    
    Best Picture | Nominated
    
    Best Actress | Nominated
    
    Best Actor | Nominated
    
    Golden Globes
    
    Cannes Film Festival
    
    Palme d'Or
    
    Grand Prix
    
    New York Film Critics
    
    Film Festivals
    
    Award Winners
    
    Add These Distinguishing Movies to Your Collection
    
    Thousands of movies and TV shows to satisfy any movie buff.
    Browse Today
  - Advanced Search
    
    With an active marketplace of over 270 million items, use the
    Alibris Advanced Search Page to find any item you are looking for.
    
    Through the Advanced Search, you can find items by searching specific terms such as Title, Director, Actor, Genre, etc or you can narrow your focus using our amazing set of criteria parameters.
    
    Advanced Search Can Help Find What You Are Searching For
    
    Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
    Search Now
Bargains
- - 99 Cent Books >
    
    Best-Selling
    
    Biography
    
    Business
    
    Cooking
    
    Family
    
    Mystery
    
    Romance
    
    Science Fiction
    
    Travel
    
    All 99 Cent Books
    
    Find Best-Selling Books for
    as Low as 99¢
    
    Millions of books available with some of the lowest prices you will find online.
    Shop Now
  - Free Shipping
    
    Items Eligible for Free Shipping
    
    Frequently Asked Questions
    
    Thousands of New & Used Items Eligible for Free Shipping
    
    Find the items displaying the free shipping icon. Add $39+ into your cart and your items ship for free!
    Save Now
  - Daily Coupons >
    
    Promo Coupon Codes
    
    Love to Save on Books, Movies, and Music?
    
    Get exclusive access to all of our latest deals and coupons. Changes daily.
    Start Saving
  - Discount Books
    
    Best-Selling
    
    Biography
    
    Business
    
    Cooking
    
    Family
    
    Mystery
    
    Romance
    
    Science Fiction
    
    Travel
    
    All Discount Books
    
    Save up to 80% on New Releases and Old Classics
    
    Bargain hunters rejoice! Alibris has millions of books at amazingly low prices.
    Shop Now
Holiday
- - Seasonal Guide
    
    Featured
    
    Holiday Gift Guide
    
    Recent Releases
    
    Fall Gift Guide
    
    Back to School
    
    Summer Gift Guide
    
    Spring Gift Guide
    
    Home Improvement
    
    Your Source and Inspiration for Books, Music, & Movies
    
    Come back each month to discover new genres and titles through the Alibris seasonal guide.
    Browse Now
  - Community
    
    Community
    
    Discussions
    
    Reviews
    
    Seller Posts
    
    Engage with the Alibris Community
    
    Love shopping on Alibris? Share your stories and reviews with other customers!
    Browse Now
  - Alibris Blog
    
    The Alibris Blog
    
    Our Recommendations
    
    Best Of
    
    Sci-fi Essentials
    
    Young Adults
    
    The Alibris Blog
    
    Can't get enough about books, music, and movies? Check out these wonderful and insightful posts from our editors
    Browse Now
  - Author Personalities
    
    Author Personalities
    
    The Science
    
    Our Partner
    
    Discover Author Personalities
    
    Search for your favorite author and through the power of IBM Watson
    Get Insights!
Blog

Browse related Subjects

Formal Methods in Computer Science

by Jiacun Wang, William Tepfenhart

Write The First Customer Review

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. Read More

eBook Details

	This is a digital edition of this title. Rent eBook (2 Options) 180 Day Rental: $63.25 (Expires May 09, 2026) 365 Day Rental: $74.75 (Expires Nov 10, 2026) Buy eBook Lifetime Access: $115.00 Title: Formal Methods in Computer Science by Jiacun Wang Publisher: Taylor & Francis Print ISBN: 9781498775328, 1498775322 eText ISBN: 9781498775359 Edition: 2019 1st edition Format: EPUB eBook	$63.25 This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ