| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996395881603316 |
|
|
Titolo |
A declaration and ordinance of the Lords and Commons assembled in Parliament [[electronic resource] ] : for new loans, and contributions, as well from the united Provinces of Holland, as from England and Wales, for the speedy relief of the miserable and distressed estate of the Protestants in the Kingdom of Ireland; whose lives are dayly sacrificed, not only to the malice of their and our bloudy enemies (the popish rebels) but likewise to starving, cold, and hunger. Die lunæ, 30 Januar. 1642. It is this day ordered by the Lords and Commons assembled in Parliament, that this ordinance be forthwith published in print, and that all parsons, vicars, and curates, in the Kingdom of England, and Dominion of Wales, be required to read this ordinance in their severall churches and chappels respectively the next Lords day after the receiving of said ordinance: And they are likewise required to stirre up the people to a large and free benevolence, to our poor brethren in Ireland, according as it is expressed in this ordinance. Joh. Brown, Cler. Parliament. Hen. Elsynge, Cler. Parl. D. Com |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed by J.R. for Edw. Husbands, and are to be sold at his shop in the Middle-Temple, Feb. 2. 1642. [i.e. 1643] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Protestants - Ireland |
Taxation - Law and legislation - England |
Ireland History 1649-1660 Early works to 1800 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of the original in the British Library. |
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484766803321 |
|
|
Titolo |
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings / / edited by Bernhard Beckert, Reiner Hähnle |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 193 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 4966 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Electronic digital computers - Evaluation |
Computer science |
Computer networks |
Computers and civilization |
Software Engineering |
System Performance and Evaluation |
Computer Science Logic and Foundations of Programming |
Computer Communication Networks |
Computers and Society |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- The First Thirty Years: Experience with Software Verification -- Vacuity in Testing -- What Can Fault Prediction Do for YOU? -- Research Papers -- Equivalence Checking for a Finite Higher Order ?-Calculus -- Finding Counter Examples in Induction Proofs -- A Logic-Based Approach to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational Analysis of Free Data Types -- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs -- Tutorials -- Parameterized Unit Testing with Pex -- Integrating Verification and Testing of Object-Oriented Software. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the Second International Conference on Test and Proofs, TAP 2008, held in Prato, Italy, in April 2008. The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected for inclusion in the book. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies. |
|
|
|
|
|
|
|
| |