| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009237570403321 |
|
|
Titolo |
Integrated Formal Methods [Risorsa elettronica] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi Romijn, Graeme Smith, Jaco Pol |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 3771 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996385026803316 |
|
|
Autore |
Beverley Thomas |
|
|
Titolo |
An appeal most humble yet most earnestly by the coming of our Lord Jesus Christ, and our gathering together unto him, even adjuring the consideration of the most contrary minded who love his appearing [[electronic resource] ] : concerning the Scripture on due compare, speaking expresly, or word for word : of the thousand years state of the saints, the dead raised first, and of the living, the remaining chang'd in it : and of the wicked-dead-raised, the Gog Magog under it / / by T.B |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[London], : Printed for John Salusbury ..., 1691 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Imprint information from NUC pre-1956 imprints. |
Imperfect: t.p. cropped at the bottom. |
Reproduction of original in the Bodleian Library. |
|
|
|
|
|
|
|
| |