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
8 Products
8 Products
Page
of 1
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
Maurice H. ter Beek
Paperback
Price:
£64.99
Usually dispatched within 48 hours
Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Maurice H. ter Beek
Paperback
Price:
£109.99
Print on demand - Usually dispatched within 7-10 days
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
RSSRail (Conference)
Paperback
Price:
£49.99
Print on demand - Usually dispatched within 7-10 days
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Maurice H. ter Beek
Paperback
Price:
£44.99
Print on demand - Usually dispatched within 7-10 days
Web Services and Formal Methods
WS-FM
Paperback
Price:
£39.99
Print on demand - Usually dispatched within 7-10 days
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,
Maurice H. ter Beek
Paperback
Price:
£44.99
Print on demand - Usually dispatched within 7-10 days
Formal Methods: Foundations and Applications
Maurice H. ter Beek
Paperback
Price:
£49.99
Usually dispatched within 7 days
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek
Paperback
Price:
£84.99
Print on demand - Usually dispatched within 7-10 days
