The Spin Model Checker by Gerard J. Holzmann (.PDF)
File Size: 3 MB
Continue reading
Tag: Gerard J. Holzmann
Search
Categories
- Fiction (82,906)
- Children/Young Adult (8,424)
- Erotic (8,090)
- General Fiction/Classics (11,883)
- Mystery/Thriller (14,994)
- Romance (21,246)
- Sci-Fi/Fantasy/Horror (18,269)
- Non-Fiction (99,777)
- Biographies & Memoirs (11,972)
- Educational (14,325)
- Faith, Beliefs & Philosophy (7,612)
- Food & Drink (11,828)
- General (15,539)
- Health, Fitness & Self-help (10,026)
- History (14,214)
- Tech & Devices (14,263)
Tags
Aarav Joshi (46)
Alicia T. White (85)
Amanda Clover (58)
America's Test Kitchen (97)
Blake Pierce (64)
BookSumo Press (161)
Brian White (73)
Brooklyn Niro (40)
Charles River Editors (155)
Chloe Tucker (110)
Delphi Classics (257)
DK (490)
DK Eyewitness (141)
DK Travel (138)
Eric Vall (45)
Fodor's Travel Guides (78)
Gooseberry Patch (52)
Harvard Business Review (55)
Hayden Van Der Post (90)
Ian Baxter (58)
Insight Guides (52)
James Patterson (40)
Keanu Wood (108)
Layla Tacy (80)
Lena White (44)
Lonely Planet (365)
Marcus Sloss (40)
Martha Stone (53)
Matt Coolomon (68)
MIchael Anderle (110)
Nadia Santa (56)
Neil Smyth (46)
Nick Storming (40)
Odette C. Bell (42)
Olivia Rana (43)
Reed James (86)
Rick Steves (82)
Robert Keller (94)
Scientific American Editors (46)
Taste of Home (87)
Theophilus Edet (47)
Various Authors (51)
Wildside Press (41)
William E. Clark (53)
William W. Johnstone (40)