skip to content

Serna, José de la 1770-1832

Overview
Works: 46 works in 62 publications in 3 languages and 146 library holdings
Genres: History  Sources 
Roles: Author
Classifications: F1412, 980.02
Publication Timeline
Key
Publications about José de la Serna
Publications by José de la Serna
Publications by José de la Serna, published posthumously.
Most widely held works by José de la Serna
Exposición que hace un peruano al virey Lacerna, a cerca del verdadero estado político de la América en la presente época by Peruano( file )
2 editions published in 1822 in Spanish and held by 22 libraries worldwide
Erlijio katolikoa 2 : Lehen Hezkuntza by Carmen Reinares( Book )
6 editions published between 2001 and 2005 in Basque and held by 7 libraries worldwide
Reconocimiento de los enemigos en Calana ( file )
2 editions published in 1823 in Spanish and held by 4 libraries worldwide
Virrey a los pueblos del Perú el protector del Perú by José de la Serna( Book )
2 editions published in 1821 in Spanish and held by 3 libraries worldwide
Dios y Padre : 5 Religión : 3er. ciclo de Educación Primaria ( Book )
1 edition published in 1994 in Spanish and held by 3 libraries worldwide
Dash : declarative behavioural modelling in alloy by José de la Serna( Book )
1 edition published in 2019 in English and held by 3 libraries worldwide
An abstract model is a representation of the fundamental characteristics and properties of a system, and its purpose is to provide feedback to stakeholders about the correctness of the system during the early stages of development. This thesis presents Dash, a new language for the formal specification of abstract behavioural models, which combines the control-oriented constructs of statecharts with the declarative modelling of Alloy. From statecharts, Dash inherits a means to specify hierarchy, concurrency, and communication, three useful aspects to describe the behaviour of reactive systems. From Alloy, Dash uses the expressiveness of relational logic and set theory to abstractly and declaratively describe structures, data, and operations. The purpose of a Dash model is to formally describe a transition system, and for this reason transitions are first-class constructs of the language. Dash provides features such as factoring, transition comprehension, and layering, to systematically declare and organise the transitions of a model. The integration between statecharts and Alloy is done in Dash at the semantic level. The semantics of Dash use the notion of big steps and small steps to formally describe changes in a system, and address the mismatch between declarative and control-oriented formalisms regarding the frame problem. This thesis presents several case studies to demonstrate the modelling capabilities and automated analysis of Dash models. The case studies range from heavily data-oriented systems to highly hierarchical and concurrent systems. Behaviours can be specified using a temporal logic and the Alloy Analyzer is used for performing analyses. We extended the notion of significance axioms and significant scopes to concurrent Dash models, to avoid spurious instances of a model and ensure that a big enough search space is explored by the Analyzer to check for interesting behaviours and provide useful feedback about a model
Lo mejor del Mundo! Poesias festivas by José de la Serna( Book )
in Spanish and held by 2 libraries worldwide
Proyecto ausiliar dirijido à facilitar al gobierno medios de subsistencia : y organizar las contribuciones de los pueblos ( Book )
1 edition published in 1823 in Spanish and held by 2 libraries worldwide
Erlijio katolikoa 1 : Lehen Hezkuntza by Carmen Reinares( Book )
1 edition published in 2001 in Basque and held by 2 libraries worldwide
Erlijio katolikoa 5 : Lehen Hezkuntza by Carmen Reinares( Book )
1 edition published in 2003 in Basque and held by 2 libraries worldwide
Erlijio katolikoa 6 : Lehen Hezkuntza by Carmen Reinares( Book )
1 edition published in 2003 in Basque and held by 2 libraries worldwide
Dios y Padre : religión by Carmen Reinares( Book )
1 edition published in 1995 in Spanish and held by 2 libraries worldwide
Fronteras de grano de coincidencia en flogopita by José Victoria Díaz( Book )
1 edition published in 1974 in Spanish and held by 1 library worldwide
Quema el viento by José de la Serna( Book )
1 edition published in 2018 in Spanish and held by 1 library worldwide
Erlijio katolikoa 3, Lehen Hezkuntza : [Kometa Ibiltaria Proiektua] by Carmen Reinares( Book )
1 edition published in 2002 in Basque and held by 1 library worldwide
Esbozos by Andreu Estany( Book )
in Spanish and held by 1 library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Hinojosa, Josâe de la Serna e 1770-1832
Hinojosa José de la Serna 1770-1832
Hinojosa José de la Serna e 1770-1832
José de la Serna e Hinojosa generale spagnolo
José de la Serna e Hinojosa Spaans militair (1770-1832)
José de la Serna e Hinojosa Viceroy of Peru
José de la Serna e piedaria
José de la Serna spanischer Vizekönig in Peru
José de La Serna Viceroy of Peru
La Serna e Hinojosa, José 1770-1832
La Serna e Hinojosa José de 1770-1832
La Serna Hinojosa José de 1770-1832
La Serna, Josâe de 1770-1832
La Serna José de 1770-1832
Lacerna 1770-1832
Serna e Hinojosa, Josâe de la 1770-1832
Serna e Hinojosa, José de la
Serna e Hinojosa José de la 1770-1832
Serna Hinojosa José de la 1770-1832
Serna Hinojosa, José de la 1770-1832 , I Conde de los Andes
Serna Hinojosa, José de la , I Conde de los Andes (1770-1832)
Serna, José la 1770-1832
Серна, Хосе де ла
Серна-э-Инохоса, Хосе де ла
خوسيه دي لا سيرنا عسكري إسباني
ホセ・デ・ラ・セルナ
Languages
Spanish (30)
Basque (10)
English (1)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.