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
Antonio Cerone (Editor), Marco Autili (Editor) Buy new from $60.57 eBook from $16.50
Carla Ferreira (Editor), Tim A. C. Willemse (Editor) Buy new from $73.68 eBook from $21.00
Wei Dong (Editor), Jean-Pierre Talpin (Editor) Buy new from $67.30 eBook from $21.00
Marieke Huisman (Editor), Ant?nio Ravara (Editor) Buy new from $74.03 eBook from $24.00
Edward A. Lee (Editor), Mohammad Reza Mousavi (Editor) Buy new from $79.44 eBook from $22.50
Aaron Dutle (Editor), Laura Humphrey (Editor) Buy new from $140.50 eBook from $38.70
Jan Friso Groote (Editor), Marieke Huisman (Editor) Buy new from $72.88 eBook from $24.00
Yo-Sub Han (Editor), Sang-Ki Ko (Editor) Buy new from $70.05 eBook from $19.50
Christina Kl?ver, J?rgen Kl?ver Buy new from $86.83 eBook from $25.50
Marieke Huisman (Editor), Corina Pasareanu (Editor) Buy new from $121.72 eBook from $32.70
Einar Broch Johnsen (Editor), Luigia Petre (Editor) Buy new from $60.65 eBook from $16.50
Dieter Hutter (Editor), Werner Stephan (Editor) Buy new from $60.57 eBook from $16.50
Shengchao Qin (Editor), Jim Woodcock (Editor) Buy new from $87.49 eBook from $25.50
Rokia Missaoui (Editor), L?onard Kwuida (Editor) Buy new from $175.00 eBook from $50.70
Masahiro Fujita, Indradeep Ghosh Buy new from $89.86 eBook from $96.95
Tiziana Margaria (Editor), Bernhard Steffen (Editor) Buy new from $79.88 eBook from $24.00
Henning Bordihn (Editor), Nicholas Tran (Editor) Buy new from $70.05 eBook from $19.50
Sara Eloy (Editor), David Leite Viana (Editor) Buy new from $168.69 eBook from $47.70
Jo?o F. Ferreira (Editor), Alexandra Mendes (Editor) Buy new from $65.35 eBook from $18.00
Shaoying Liu (Editor), Zhenhua Duan (Editor) Buy new from $60.57 eBook from $18.00
Shaoying Liu (Editor), Zhenhua Duan (Editor) Buy new from $46.69 eBook from $13.50
Pierpaolo Degano (Editor), Joshua D Guttman (Editor) Buy new from $59.87
D Bjorner, M Broy Buy new from $60.57
J?rgensen (Editor), Rog?rio Reis (Editor) Buy new from $58.64 eBook from $16.50
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Starting at $90.50
Formal Engineering for Industrial Software Development: Using the SOFL Method
Starting at $18.76
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Starting at $54.78
Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, France, June 27-29, 2018, Proceedings
Starting at $60.37
Towards a formal description of Ada
Starting at $21.33
