1. |
|
|
|
2. |
|
- Logozzo, Francesco. (författare)
-
Verification, Model Checking, and Abstract Interpretation [Elektronisk resurs] 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck.
- 2008
- E-bok
|
|
3. |
|
|
|
4. |
|
|
Läs hela |
5. |
|
|
|
6. |
|
|
|
7. |
|
- Bunyan, John, 1628-1688. (författare)
- [Doctrine of the law and grace unfolded]
-
The doctrine of the law & grace unfolded [Elektronisk resurs]: or, a discourse touching the law and grace. The nature of the one, and the nature of the other: shewing what they are, as they are the two covenants; and likewise who they be, and what their conditions are, that be under either of these two covenants. Wherein for the better understanding of the reader, there is several questions answered, touching the law and grace, very easy to be read, and as easy to be understood, by those that are the sons of wisdom, the children of the second covenant. By John Bunyan, author of the Pilgrims progress.
- 1742. - The third edition.
- E-bok
|
|
8. |
|
|
|
9. |
|
|
|
10. |
|
|
|