Specifying Systems PDF
By:Leslie Lamport
Published on 2003 by Addison-Wesley Professional
Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided into four parts, the first part contains all that most programmers and engineers need to know about writing specifications. The second part has advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+--both the language itself as well as its tools.
This Book was ranked at 32 by Google Books for keyword mathematics about sets.
Book ID of Specifying Systems's Books is SeRQAAAAMAAJ, Book which was written byLeslie Lamporthave ETAG "ibvkK/yT/D0"
Book which was published by Addison-Wesley Professional since 2003 have ISBNs, ISBN 13 Code is 9780321143068 and ISBN 10 Code is 032114306X
Reading Mode in Text Status is false and Reading Mode in Image Status is false
Book which have "364 Pages" is Printed at BOOK under CategoryComputers
Book was written in en
eBook Version Availability Status at PDF is falseand in ePub is false
Book Preview
Download Specifying Systems PDF Free
Download Specifying Systems Books Free
Download Specifying Systems Free
Download Specifying Systems PDF
Download Specifying Systems Books
No comments:
Post a Comment