Skip to content
Menu
Search
My Wordery
Your Wishlist
My Wordery
Basket
Your Basket is Currently Empty
Sale
Bestsellers
Fiction
Fiction Bestsellers
Contemporary Fiction
Classic Fiction
Romance
Crime, Mystery & Thrillers
Bestselling Crime, Mystery & Thrillers
Cosy Crime
Classic Crime
Mysteries & Thrillers
Science Fiction
Fantasy
Historical Fiction
Horror
Graphic Novels & Manga
Non-Fiction
Non-Fiction Bestsellers
Art & Design
Art & Design Bestsellers
Art
Music
Photography
Biography & Memoirs
Health & Lifestyle
Food & Drink
Home & Garden
Science & Nature
History
Travel
Humour
Education
Children's & Young Adult
Bestselling Children's & Young Adult
Picture Books
Ages 5-8
Ages 9-12
Activity Books
Young Adult
Stationery & Gifts
Sort by:
Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by:
Relevance
Sort by:
Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
7 Products
7 Products
Page
of 1
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan
Paperback
Price:
£34.99
Usually dispatched within 48 hours
Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Sriram Sankaranarayanan
Paperback
Price:
£44.99
Print on demand - Usually dispatched within 7-10 days
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan
Paperback
Price:
£34.99
Usually dispatched within 7 days
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan
Paperback
Price:
£54.99
Print on demand - Usually dispatched within 7-10 days
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan
Paperback
Price:
£54.99
Print on demand - Usually dispatched within 7-10 days
Automated Technology for Verification and Analysis Part II
ATVA (Symposium)
Paperback
Price:
£129.99
Print on demand - Usually dispatched within 7-10 days
Automated Technology for Verification and Analysis Part I
ATVA (Symposium)
Paperback
Price:
£109.99
Usually dispatched within 7 days