| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996389597203316 |
|
|
Autore |
Brathwaite Richard <1588?-1673.> |
|
|
Titolo |
To His Majesty upon his happy arrivall in our late discomposed Albion [[electronic resource] /] / By R. Brathwait Esq |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed for Henry Brome, at the Gun in Ivie-Lane, 1660 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Great Britain History Charles II, 1660-1685 Poetry Early works to 1800 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
In verse. |
Annotation on Thomason copy: "July. 12.". |
Reproduction of the original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910357848903321 |
|
|
Titolo |
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 139 p. 135 illus., 23 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 11951 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer engineering |
Computer networks |
Microprogramming |
Computer simulation |
Computer science |
Machine theory |
Software Engineering |
Computer Engineering and Networks |
Control Structures and Microprogramming |
Computer Modelling |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering |
|
|
|
|
|
|
|
|
|
|
and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. . |
|
|
|
|
|
| |