Manuel a martins (104 resultados)

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems). This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: New. In English.

Condición: New.

Condición: New.

Condición: New. In English.

Condición: New.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: new. Paperback. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.

Paperback. Condición: Brand New. 156 pages. 9.00x6.00x0.50 inches. In Stock.

Condición: New.

Paperback. Condición: Brand New. 308 pages. 9.25x6.10x0.70 inches. In Stock.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Paperback. Condición: Brand New. 188 pages. 9.25x6.10x0.41 inches. In Stock.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences tomodal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematicsto Computer Science.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book collects the revised selected proceedings of the FirstInternational Symposium inMolecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in December 2018. The volume contains 7 full revised papers along with 2 surveys from 19 submissions presented at the symposium. One of the goals of the MLCSB 2018 was to explore the potential of molecular logic frameworks to study the emerging behavioural patterns in biologicalnetworks, combining discrete, continuous and stochastic features, and resortingboth to specific or general-purpose analysis and verification techniques.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).…

Condición: New.

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: Neu. Molecular Logic and Computational Synthetic Biology | First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers | Madalena Chaves (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2019 | Springer | EAN 9783030194314 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…