The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Product Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Technical Specifications
You might also like
Bowl: Vegetarian Recipes for Ramen, Pho, Bibimbap, Dumplings, and Other One-Dish Meals
Geronimo Stilton #55: The Golden Statue Plot
Edexcel AS English Language Student Book
L J Smith Stefans Diaries 6 Books Collection Pack Set (Stefan's Diaries 1: Origins; Stefan's Diaries 2: Bloodlust; Stefan's Diaries 3: The Craving; Stefan's Diaries 4: The Ripper; Stefan's Diaries 5: The Asylum; Stefan's Diaries 6: The Compelled)
The Art and Science of Hand Reading: Classical Methods for Self-Discovery through Palmistry by Ellen Goldberg (2016-02-06)
The Art of the Documentary: Fifteen Conversations With Leading Directors, Cinematographers, Editors, and Producers
Dawn of Planet of the Apes and Rise of the Planet of the Apes: The Art of the Films
The CG Story: Computer-Generated Animation and Special Effects