Sign up for an exclusive voucher good on your next order.
By signing up you enjoy subscriber-only access to the latest news, personalised book picks and special offers, delivered right to your inbox.
We never share your information and you can unsubscribe at any time.
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.
See how much other students are saving on textbooks today.
As one of the premier rare book sites on the Internet, Alibris has thousands of rare books, first editions, and signed books available.
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.
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.
Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
From new releases to oldies, discover your next favorite album and artist!
Like Classical Music? So does Alibris. See one of the largest collections of Classical Music around.
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.
Thousands of movies and TV shows to satisfy any movie buff.
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.
Millions of books available with some of the lowest prices you will find online.
Get exclusive access to all of our latest deals and vouchers. Changes daily.
Bargain hunters rejoice! Alibris has millions of books at amazingly low prices.
Come back each month to discover new genres and titles through the Alibris seasonal guide.
Love shopping on Alibris? Share your stories and reviews with other customers!
Can't get enough about books, music, and movies? Check out these wonderful and insightful posts from our editors
Search for your favorite author and through the power of IBM Watson
Browse All Subjects
Holger Hermanns (Editor), Jun Sun (Editor) Buy new from $76.55
John Derrick (Editor), Stefania Gnesi (Editor) Buy new from $60.65 eBook from $16.50
Marieke Huisman (Editor), Corina Pasareanu (Editor) Buy new from $121.72 eBook from $32.70
Nikolai Kosmatov (Editor), Laura Kovßcs (Editor) Buy new from $140.50 eBook from $42.00
Shaoying Liu (Editor), Zhenhua Duan (Editor) Buy new from $46.69 eBook from $13.50
Dieter Hutter (Editor), Werner Stephan (Editor) Buy new from $60.57 eBook from $16.50
Tiziana Margaria (Editor), Bernhard Steffen (Editor) Buy new from $60.65 eBook from $16.50
Thomas Hildebrandt (Editor), Ant?nio Ravara (Editor) Buy new from $51.14 eBook from $13.50
Silvia Lizeth Tapia Tarifa (Editor), Jos? Proen?a (Editor) Buy new from $67.30 eBook from $21.00
Susanne Graf (Editor), Paul Pettersson (Editor) Buy new from $60.65 eBook from $16.50
Jeannette M Wing (Editor), Jim Woodcook (Editor) Buy new from $112.32 eBook from $29.70
George Eleftherakis (Editor), Mike Hinchey (Editor) Buy new from $60.65
Christina Kl?ver, J?rgen Kl?ver Buy new from $86.83 eBook from $25.50
Haniel Barbosa (Editor), Yoni Zohar (Editor) Buy new from $60.57 eBook from $18.00
S?rgio Campos (Editor), Marius Minea (Editor) Buy new from $65.35 eBook from $18.00
D Bjorner, M Broy Buy new from $60.57
Maurice H. ter Beek (Editor), Rosemary Monahan (Editor) Buy new from $87.68 eBook from $25.50
Einar Broch Johnsen (Editor), Luigia Petre (Editor) Buy new from $60.65 eBook from $16.50
Jan Friso Groote (Editor), Marieke Huisman (Editor) Buy new from $72.88 eBook from $24.00
Sara Eloy (Editor), David Leite Viana (Editor) Buy new from $168.69 eBook from $47.70
Marieke Huisman (Editor), Ant?nio Ravara (Editor) Buy new from $74.03 eBook from $24.00
Jonathan P. Bowen (Editor), Qin Li (Editor) Buy new from $63.12 eBook from $24.00
Bernd-Holger Schlingloff (Editor), Ming Chai (Editor) Buy new from $74.75 eBook from $21.00
Dominik D?rrschnabel (Editor), Domingo L?pez Rodr?guez (Editor) Buy new from $53.95 eBook from $18.00
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Starting at $90.50
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings
Starting at $60.28
Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Starting at $31.23
FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Starting at $14.66
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Starting at $13.93
