|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910462740803321 |
|
|
Autore |
Jack Oliver |
|
|
Titolo |
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : W. de Gruyter, 1996 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[Reprint 2011] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (252 p.) |
|
|
|
|
|
|
Collana |
|
Programmierung Komplexer Systeme / Programming Complex Systems ; ; 10 |
Programming complex systems ; ; 10 |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Testing |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
I-VI -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix Β Case Study -- Bibliography -- Index |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910784504003321 |
|
|
Autore |
Rogers Pat <1938-> |
|
|
Titolo |
Pope and the destiny of the Stuarts [[electronic resource] ] : history, politics, and mythology in the age of Queen Anne / / Pat Rogers |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford ; ; New York, : Oxford University Press, 2005 |
|
|
|
|
|
|
|
ISBN |
|
1-383-04171-7 |
1-280-84395-0 |
0-19-151525-6 |
1-4294-6959-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (360 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Literature and history - Great Britain - History - 18th century |
Mythology in literature |
Monarchy in literature |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [319]-329) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; List of Illustrations; Abbreviations; Chronology 1700-1716; Introduction; 1. Setting; 2. Biography; 3. Politics; 4. The Queen; 5. Windsor; 6. The War and the Peace; 7. Classical and Renaissance Literature; 8. Later Literary Contexts; Conclusion: Death in Arcady; Sources; Index; Index of Passages in Pope's Poetry |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
A radical new look at the literary and political climate of England during the reign of Queen Anne, as revealed in the work of the greatest poet of the age, Alexander Pope. Rogers provides the fullest account to date of Windsor-Forest (1713), exploring its biographic, historic, and political contexts. - ;This radical new look at the literary and political climate of England during the reign of Queen Anne examines the work of the greatest poet of the age, Alexander Pope. Pope and the Destiny of the Stuarts provides the fullest contextual account to date of Windsor-Forest (1713), widely seen as |
|
|
|
|
|
|
|