Skip to content
App Exclusive | Get 20% off preloved books
SHOP NOW
Discover
Discover
Trending Now
Summer Reading
Trending Books
Pride Month
New Books
BookTok
Books of the Month
See All
Trending Now
Summer Reading
Trending Books
Pride Month
New Books
BookTok
Books of the Month
Celebrate Black Authors
International Booker Prize
Our Latest Deals
Buy 3, Get Another Free*
50% off Selected Books
Books Under $4
Shop Sustainably
Read our Sustainability Report!
Fiction Books
Fiction Books
Shop now
By Category
All Fiction Books
Crime & Mystery
Fantasy
Modern Fiction
Romance
Adventure
See All
By Category
All Fiction Books
Crime & Mystery
Fantasy
Modern Fiction
Romance
Adventure
Thriller & Suspense
Classic Fiction
Erotic Fiction
Fiction-Related Items
Anthologies & Short Stories
Graphic Novels
Historical Fiction
Horror & Ghost Stories
Religious & Spiritual Fiction
Sagas
Science Fiction
Special Features
New Arrivals
Celebrate Black Authors
Booker Prize Winners
International Booker Prize
Non-Fiction Books
Non-Fiction Books
Shop now
By Category
All Non-Fiction Books
Biography & True Stories
English Language Teaching
Health & Personal Development
Lifestyle, Cooking & Leisure
Reference Books
See All
By Category
All Non-Fiction Books
Biography & True Stories
English Language Teaching
Health & Personal Development
Lifestyle, Cooking & Leisure
Reference Books
Arts Books
Computing & I.T.
Earth Sciences
Business, Finance and Law
Humanities Books
Language
Literature & Literary Studies
Mathematics & Science
Medicine
Social Sciences
Technology
Special Features
New Arrivals
Health & Fitness
Cookery & Recipe
Children's Books
Children's Books
Shop now
By Category
All Children's Books
Children's Fiction & True Stories
Children's Non-Fiction
Activity, Early Learning & PIcture Books
Children's Reference Books
Children's Education & Learning
See All
By Category
All Children's Books
Children's Fiction & True Stories
Children's Non-Fiction
Activity, Early Learning & PIcture Books
Children's Reference Books
Children's Education & Learning
Children's Poetry & Anthologies
Children's Personal & Social Issues
Stationary & Miscellaneous Items
Shop By Age
Baby & Toddler
Ages 5-8
Ages 9-12
Teenage & YA
Special Features
New Arrivals
Favorite Characters
Favorite Series
Textbooks
Sell Your Books
My Account - Login
Account Registration
Wishlist
Help Center
Log in
Search
Help
Log in
Account
Log in
Wishlist
Wishlist
Log in
Basket
Basket
Clearance
Highlights
Discover
Summer Reading
Pride Month
Trending Now
BookTok
Black Authors
Books of the Month
Books to Screen
International Booker Prize
Offers
Half Price Books
Buy 3 Get Another Free*
Books Under $4
Shop Sustainably
Sustainability Report
Fiction Books
By Category
All Fiction Books
Crime & Mystery
Fantasy
Modern Fiction
Romance
Adventure
Thriller & Suspense
Classic Fiction
Erotic Fiction
Fiction-Related Items
Anthologies & Short Stories
Graphic Novels
Historical Fiction
Horror & Ghost Stories
Religious & Spiritual Fiction
Sagas
Science Fiction
Special Features
Trending Now
Fiction Books of the Month
New Fiction Books
LGBTQ+ Shelf
Black Voices
Read our Impact Report!
Top Authors
Stephen King
Agatha Christie
Sarah J Maas
Colleen Hoover
Non-Fiction Books
By Category
All Non-Fiction Books
Biography & True Stories
English Language Teaching
Health & Personal Development
Lifestyle, Cooking & Leisure
Reference Books
Arts Books
Computing & IT
Earth Sciences
Business, Finance and Law
Humanities Books
Language
Literature & Literary Studies
Mathematics & Science
Medicine
Social Sciences
Technology
Special Features
Trending Now
Non-Fiction Books of the Month
New Non-Fiction
Black Voices
LGBTQ+ Shelf
Read our Impact Report!
Broaden Your Knowledge
Music
Arts & Crafts
Learn A Language
Noteworthy
Sustainability
Veggie cookbooks
Mind, Body & Spirit
Travel
Quizzes & Games
Politics & Governance
Children's Books
By Category
All Children's Books
Children's Fiction & True Stories
Children's Non-Fiction
Activity, Early Learning & Picture Books
Children's Reference Books
Children's Education & Learning
Children's Poetry & Anthologies
Children's Personal & Social Issues
Stationary & Miscellaneous Items
Shop By Age
Baby & Toddler
Ages 5-8
Ages 9-12
Teeange & YA
Special Features
New Children's Books
Children's Books of the Month
Textbooks
Kids' Favorite Characters
Kids' Favorite Series
Top Authors
Julia Donaldson
Tom Fletcher
Roald Dahl
YA Authors
Alice Oseman
Holly Jackson
Karen M. McManus
Jennifer Lynn Barnes
Textbooks
Sell Your Books
Item added!
You're
from free shipping!
MY BASKET |
1 Item
Continue to Checkout
Continue shopping
FREE US SHIPPING OVER $15
Free US Shipping over $15
OVER 100 MILLION BOOKS REHOMED
Home
Gilles Barthe
Books by Gilles Barthe
Filters
Close all
Filter & Sort
Sort by:
Categories
Price
Binding Type
Author
Publisher
Product Type
Console
Platform
Conditions
Filter & Sort
Clear all
Software Engineering and Formal Methods
Author: Gilles Barthe
View Product
Programming Languages and Systems
Author: Gilles Barthe
View Product
Trustworthy Global Computing
Author: Gilles Barthe
View Product
Formal Methods for Open Object-Based Distributed Systems
Author: Gilles Barthe
View Product
Security and Trust Management
Author: Gilles Barthe
View Product
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Author: Gilles Barthe
View Product
Applied Semantics
Author: Gilles Barthe
View Product
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Author: Gilles Barthe
View Product
Verification, Model Checking, and Abstract Interpretation
Author: Gilles Barthe
View Product
Foundations of Probabilistic Programming
Author: Gilles Barthe
View Product
48
Load More
Choosing a selection results in a full page refresh.
Opens in a new window.
${{amount}}
