This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.
In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments....
Logics of Specification Languages is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
All the tools and skills you'll need to fully utilize the new features of VisualAge for Java, Version 3 Authored by four certified instructors who have taught VisualAge for Java to programmers around...