Publishers Springer International Publishing AG

Cover for Tamar Sarfatti · The Description of Egypt from Napoleon to Champollion - War, Culture and Society, 1750–1850 (Paperback Book) [2022 edition] (2023)

The Description of Egypt from Na... (2023)

Cover for Gianni Fresu · Antonio Gramsci: An Intellectual Biography - Marx, Engels, and Marxisms (Paperback Book) [1st ed. 2023 edition] (2022)

1st ed. 2023 edition

Antonio Gramsci: An Intellectual... (2022)

Cover for Tesfaye · Diabetic Neuropathy: Advances in Pathophysiology and Clinical Management - Contemporary Diabetes (Hardcover Book) [Third Edition 2023 edition] (2023)

Third Edition 2023 edition

Diabetic Neuropathy: Advances in... (2023)

Cover for Diabetic Neuropathy: Advances in Pathophysiology and Clinical Management - Contemporary Diabetes (Paperback Book) [Third Edition 2023 edition] (2024)

Third Edition 2023 edition

Diabetic Neuropathy: Advances in... (2024)

Cover for Tanure Ojaide · African Battle Traditions of Insult: Verbal Arts, Song-Poetry, and Performance - African Histories and Modernities (Hardcover Book) [2023 edition] (2023)

African Battle Traditions of Ins... (2023)

Cover for Luciano Nicolas Garcia · Communist Psychology in Argentina: Transnational Politics, Scientific Culture and Psychotherapy (1935-1991) - Latin American Voices (Hardcover Book) [2022 edition] (2022)

Communist Psychology in Argentin... (2022)

Luciano Nicolas Garcia

Cover for Luciano Nicolas Garcia · Communist Psychology in Argentina: Transnational Politics, Scientific Culture and Psychotherapy (1935-1991) - Latin American Voices (Paperback Book) [2022 edition] (2023)

Communist Psychology in Argentin... (2023)

Luciano Nicolas Garcia

Cover for Maik Peter Kaufmann · Monolithic Integration in E-Mode GaN Technology - Synthesis Lectures on Engineering, Science, and Technology (Hardcover Book) [2022 edition] (2022)

Monolithic Integration in E-Mode... (2022)

Maik Peter Kaufmann

Cover for Maik Peter Kaufmann · Monolithic Integration in E-Mode GaN Technology - Synthesis Lectures on Engineering, Science, and Technology (Paperback Book) [2022 edition] (2023)

Monolithic Integration in E-Mode... (2023)

Maik Peter Kaufmann

Cover for A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

A Journey from Process Algebra v... (2022)

Cover for The Future of Responsible Management Education: University Leadership and the Digital Transformation Challenge - Humanism in Business Series (Hardcover Book) [2023 edition] (2023)

The Future of Responsible Manage... (2023)

Cover for The Future of Responsible Management Education: University Leadership and the Digital Transformation Challenge - Humanism in Business Series (Paperback Book) [2023 edition] (2024)

The Future of Responsible Manage... (2024)

Cover for The Embryologic Basis of Craniofacial Structure: Developmental Anatomy, Evolutionary Design, and Clinical Applications (Paperback Book) (2024)

The Embryologic Basis of Craniof... (2024)

Cover for Viral Fitness and Evolution: Population Dynamics and Adaptive Mechanisms - Current Topics in Microbiology and Immunology (Hardcover Book) [2023 edition] (2023)

Viral Fitness and Evolution: Pop... (2023)

Cover for Viral Fitness and Evolution: Population Dynamics and Adaptive Mechanisms - Current Topics in Microbiology and Immunology (Paperback Book) [2023 edition] (2024)

Viral Fitness and Evolution: Pop... (2024)

Cover for City, Society, and Digital Transformation: Proceedings of the 2022 INFORMS International Conference on Service Science - Lecture Notes in Operations Research (Hardcover Book) [2022 edition] (2022)

City, Society, and Digital Trans... (2022)

Cover for Robin Qiu · City, Society, and Digital Transformation (Book) (2023)

City, Society, and Digital Trans... (2023)

Cover for Knowledge Management for Regional Policymaking (Hardcover Book) [2022 edition] (2023)

Knowledge Management for Regiona... (2023)

Cover for Knowledge Management for Regional Policymaking (Paperback Book) [2022 edition] (2024)

Knowledge Management for Regiona... (2024)

Cover for Dogan Gurpinar · Apparatchiks and Ideologues in Islamist Turkey: The Intellectual Order of Islamism and Populism (Hardcover Book) [1st ed. 2023 edition] (2022)

1st ed. 2023 edition

Apparatchiks and Ideologues in I... (2022)

Cover for Optimisation in Synchromodal Logistics: From Theory to Practice - Lecture Notes in Operations Research (Hardcover Book) [2023 edition] (2023)

Optimisation in Synchromodal Log... (2023)

Cover for Optimisation in Synchromodal Logistics: From Theory to Practice - Lecture Notes in Operations Research (Paperback Book) [2023 edition] (2024)

Optimisation in Synchromodal Log... (2024)

Cover for Felix I. Lessambo · Financial Statements: Analysis, Reporting and Valuation (Hardcover Book) [Second Edition 2022 edition] (2022)

Second Edition 2022 edition

Financial Statements: Analysis, ... (2022)

Felix I. Lessambo

Cover for Felix I. Lessambo · Financial Statements: Analysis, Reporting and Valuation (Paperback Book) [Second Edition 2022 edition] (2023)

Second Edition 2022 edition

Financial Statements: Analysis, ... (2023)

Felix I. Lessambo

Cover for Vittoria Veronesi · The Evolution of Made in Italy: Case studies on the Italian Food and Beverage Industry (Hardcover Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

The Evolution of Made in Italy: ... (2023)

Vittoria Veronesi

Cover for The Suez Canal: Past Lessons and Future Challenges - Palgrave Studies in Maritime Politics and Security (Hardcover Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

The Suez Canal: Past Lessons and... (2023)

Cover for Wojciech Morawski · The Taxation of Energy-Sector Assets: Polish Tax Legislation on the Eve of Energy Transformation - SpringerBriefs in Energy (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

The Taxation of Energy-Sector As... (2022)

Wojciech Morawski

Cover for The Future of Heritage Science and Technologies: Materials Science - Advanced Structured Materials (Hardcover Book) [2022 edition] (2022)

The Future of Heritage Science a... (2022)

Cover for The Future of Heritage Science and Technologies: Materials Science - Advanced Structured Materials (Paperback Book) [2022 edition] (2023)

The Future of Heritage Science a... (2023)

Cover for Hans Erik Næss · The Neutrality Paradox in Sport: Governance, Politics and Human Rights after Ukraine (Hardcover Book) [2022 edition] (2022)

The Neutrality Paradox in Sport:... (2022)

Hans Erik Næss

Cover for Hans Erik Næss · The Neutrality Paradox in Sport: Governance, Politics and Human Rights after Ukraine (Paperback Book) [2022 edition] (2023)

The Neutrality Paradox in Sport:... (2023)

Hans Erik Næss

Cover for Helen Kingstone · Panoramas and Compilations in Nineteenth-Century Britain: Seeing the Big Picture - Palgrave Studies in Nineteenth-Century Writing and Culture (Hardcover Book) [2022 edition] (2023)

Panoramas and Compilations in Ni... (2023)

Helen Kingstone

Cover for Helen Kingstone · Panoramas and Compilations in Nineteenth-Century Britain: Seeing the Big Picture - Palgrave Studies in Nineteenth-Century Writing and Culture (Paperback Book) [2022 edition] (2024)

Panoramas and Compilations in Ni... (2024)

Helen Kingstone

Cover for Human Choice and Digital by Default: Autonomy vs Digital Determination: 15th IFIP International Conference on Human Choice and Computers, HCC 2022, Tokyo, Japan, September 8–9, 2022, Proceedings - IFIP Advances in Information and Communication Technology (Hardcover Book) [2022 edition] (2022)

Human Choice and Digital by Defa... (2022)

Cover for Alejandro Hernandez Lopez · Conflicts of Criminal Jurisdiction and Transfer of Proceedings in the EU - Comparative, European and International Criminal Justice (Hardcover Book) [2022 edition] (2022)

Conflicts of Criminal Jurisdicti... (2022)

Alejandro Hernandez Lopez

Cover for Alejandro Hernández López · Conflicts of Criminal Jurisdiction and Transfer of Proceedings in the EU (Book) (2023)

Conflicts of Criminal Jurisdicti... (2023)

Alejandro Hernández López

Cover for V. K. Ahluwalia · Organic Reactions and Their Mechanisms (Hardcover Book) [Second Edition 2023 edition] (2023)

Second Edition 2023 edition

Organic Reactions and Their Mech... (2023)

V. K. Ahluwalia

Cover for V. K. Ahluwalia · Organic Reactions and Their Mechanisms (Paperback Book) [Second Edition 2023 edition] (2024)

Second Edition 2023 edition

Organic Reactions and Their Mech... (2024)

V. K. Ahluwalia

Cover for Design Automation of Quantum Computers (Hardcover Book) [2023 edition] (2022)

Design Automation of Quantum Com... (2022)

Cover for Design Automation of Quantum Computers (Paperback Book) [2023 edition] (2023)

Design Automation of Quantum Com... (2023)

Cover for Science and Innovations for Food Systems Transformation (Hardcover Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

Science and Innovations for Food... (2023)

Cover for Science and Innovations for Food Systems Transformation (Paperback Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

Science and Innovations for Food... (2023)

Cover for Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Logic Programming and Nonmonoton... (2022)

Cover for Julia Puaschunder · Advances in Behavioral Economics and Finance Leadership: Strategic Leadership, Wise Followership and Conscientious Usership in the Digital Century - Contributions to Economics (Hardcover Book) [Second Edition 2022 edition] (2022)

Second Edition 2022 edition

Advances in Behavioral Economics... (2022)

Julia Puaschunder

Cover for Julia Puaschunder · Advances in Behavioral Economics and Finance Leadership: Strategic Leadership, Wise Followership and Conscientious Usership in the Digital Century - Contributions to Economics (Paperback Book) [Second Edition 2022 edition] (2023)

Second Edition 2022 edition

Advances in Behavioral Economics... (2023)

Julia Puaschunder

Cover for Algorithmic Game Theory: 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Algorithmic Game Theory: 15th In... (2022)

Cover for Gennaro S. Rodrigues · Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance - Synthesis Lectures on Engineering, Science, and Technology (Hardcover Book) [2022 edition] (2022)

Approximate Computing and its Im... (2022)

Gennaro S. Rodrigues

Cover for Gennaro S. Rodrigues · Approximate Computing and its Impact on Accuracy, Reliability and Fault-Tolerance - Synthesis Lectures on Engineering, Science, and Technology (Paperback Book) [2022 edition] (2023)

Approximate Computing and its Im... (2023)

Gennaro S. Rodrigues

Cover for Subodh Chandra Pal · Climate Change Impact on Soil Erosion in Sub-tropical Environment: Application of Empirical and Semi-empirical Models - Geography of the Physical Environment (Hardcover Book) [2022 edition] (2022)

Climate Change Impact on Soil Er... (2022)

Subodh Chandra Pal

Cover for Subodh Chandra Pal · Climate Change Impact on Soil Erosion in Sub-tropical Environment: Application of Empirical and Semi-empirical Models - Geography of the Physical Environment (Paperback Book) [2022 edition] (2023)

Climate Change Impact on Soil Er... (2023)

Subodh Chandra Pal

Cover for The Quantification of Life and Health from the Sixteenth to the Nineteenth Century: Intersections of Medicine and Philosophy - Palgrave Studies in Medieval and Early Modern Medicine (Hardcover Book) [2023 edition] (2023)

The Quantification of Life and H... (2023)

Cover for The Quantification of Life and Health from the Sixteenth to the Nineteenth Century: Intersections of Medicine and Philosophy - Palgrave Studies in Medieval and Early Modern Medicine (Paperback Book) (2024)

The Quantification of Life and H... (2024)

Cover for Imaging in Neonates (Hardcover Book) [2023 edition] (2023)

Imaging in Neonates (2023)

Cover for Imaging in Neonates (Paperback Book) [2023 edition] (2024)

Imaging in Neonates (2024)

Cover for Cristian Suteanu · Scale: Understanding the Environment (Hardcover Book) [2022 edition] (2023)

Scale: Understanding the Environ... (2023)

Cristian Suteanu

Cover for Cristian Suteanu · Scale: Understanding the Environment (Paperback Book) [2022 edition] (2024)

Scale: Understanding the Environ... (2024)

Cristian Suteanu

Cover for John McCallum · Exploring Emotion in Reformation Scotland: The Emotional Worlds of James Melville, 1556–1614 (Hardcover Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Exploring Emotion in Reformation... (2022)

Cover for Robert Wrembel-Tania Cerquitelli-Silvia Chiusano · Advances in Databases and Information Systems: 26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Advances in Databases and Inform... (2022)

Robert Wrembel-Tania Cerquitelli...

Cover for New Trends in Database and Information Systems: ADBIS 2022 Short Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD, MegaData, SWODCH, Turin, Italy, September 5–8, 2022, Proceedings - Communications in Computer and Information Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

New Trends in Database and Infor... (2022)

Cover for Ethics, Integrity and Policymaking: The Value of the Case Study - Research Ethics Forum (Hardcover Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Ethics, Integrity and Policymaki... (2022)

Cover for Donal O'Mathuna-Ron Iphofen · Ethics, Integrity and Policymaking: The Value of the Case Study - Research Ethics Forum (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Ethics, Integrity and Policymaki... (2022)

Donal O'Mathuna-Ron Iphofen

Cover for Abdul-Latif Hamdan · Traits of Civilization and Voice Disorders (Hardcover Book) [2022 edition] (2022)

Traits of Civilization and Voice... (2022)

Abdul-Latif Hamdan

Cover for Abdul-Latif Hamdan · Traits of Civilization and Voice Disorders (Paperback Book) [2022 edition] (2023)

Traits of Civilization and Voice... (2023)

Abdul-Latif Hamdan

Cover for Gilles Dufrenot · New Challenges for Macroeconomic Policies: Economic Growth, Sustainable Development, Fiscal and Monetary Policies (Hardcover Book) [2023 edition] (2023)

New Challenges for Macroeconomic... (2023)

Gilles Dufrenot

Cover for Gilles Dufrenot · New Challenges for Macroeconomic Policies: Economic Growth, Sustainable Development, Fiscal and Monetary Policies (Paperback Book) [2023 edition] (2024)

New Challenges for Macroeconomic... (2024)

Gilles Dufrenot

Cover for Recent Trends in Wave Mechanics and Vibrations: Proceedings of WMVC 2022 - Mechanisms and Machine Science (Hardcover Book) [2023 edition] (2022)

Recent Trends in Wave Mechanics ... (2022)

Cover for Recent Trends in Wave Mechanics and Vibrations: Proceedings of WMVC 2022 - Mechanisms and Machine Science (Paperback Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

Recent Trends in Wave Mechanics ... (2023)

Cover for Michael O'Brien · A Deep Sky Astrophotography Primer: Creating Stunning Images Is Easier Than You Think! - The Patrick Moore Practical Astronomy Series (Paperback Book) [2023 edition] (2023)

A Deep Sky Astrophotography Prim... (2023)

Michael O'Brien

Cover for Ignacio Zalduendo · Calculus off the Beaten Path: A Journey Through Its Fundamental Ideas - Springer Undergraduate Mathematics Series (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Calculus off the Beaten Path: A ... (2022)

Ignacio Zalduendo

Cover for Jens Lienig · Grundlagen des Layoutentwurfs elektronischer Schaltungen (Paperback Book) [1. Aufl. 2023 edition] (2023)

1. Aufl. 2023 edition

Grundlagen des Layoutentwurfs el... (2023)

Cover for Sustainable Digital Transformation: Paving the Way Towards Smart Organizations and Societies - Lecture Notes in Information Systems and Organisation (Paperback Book) [1st ed. 2023 edition] (2022)

1st ed. 2023 edition

Sustainable Digital Transformati... (2022)

Cover for Andrea Membretti · Sustainable Futures in Southern Africa’s Mountains: Multiple Perspectives on an Emerging City - Sustainable Development Goals Series (Hardcover Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

Sustainable Futures in Southern ... (2023)

Andrea Membretti

Cover for Sustainable Futures in Southern Africa’s Mountains: Multiple Perspectives on an Emerging City - Sustainable Development Goals Series (Paperback Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

Sustainable Futures in Southern ... (2023)

Cover for Information and Communications Security: 24th International Conference, ICICS 2022, Canterbury, UK, September 5–8, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Information and Communications S... (2022)

Cover for Republicanism and Democracy: Close Friends? - Contributions to Political Science (Hardcover Book) [2023 edition] (2022)

Republicanism and Democracy: Clo... (2022)

Cover for Republicanism and Democracy: Close Friends? - Contributions to Political Science (Paperback Book) [2023 edition] (2023)

Republicanism and Democracy: Clo... (2023)

Cover for Cyber Warfare, Security and Space Research: First International Conference, SpacSec 2021, Jaipur, India, December 9–10, 2021, Revised Selected Papers - Communications in Computer and Information Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Cyber Warfare, Security and Spac... (2022)

Cover for Koen Rens Wessels · Pedagogy of Entanglement: A Response to the Complex Societal Challenges that Permeate our Lives - Sustainable Development Goals Series (Hardcover Book) [2022 edition] (2022)

Pedagogy of Entanglement: A Resp... (2022)

Koen Rens Wessels

Cover for Koen Rens Wessels · Pedagogy of Entanglement: A Response to the Complex Societal Challenges that Permeate our Lives - Sustainable Development Goals Series (Paperback Book) [2022 edition] (2023)

Pedagogy of Entanglement: A Resp... (2023)

Koen Rens Wessels

Cover for KI 2022: Advances in Artificial Intelligence: 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

KI 2022: Advances in Artificial ... (2022)

Cover for Anna Malandrino · Migrant Languages in Education: Problems, Policies, and Politics - Studies in the Political Economy of Public Policy (Hardcover Book) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

Migrant Languages in Education: ... (2023)

Anna Malandrino

Cover for Anna Malandrino · Migrant Languages in Education (Book) (2024)

Migrant Languages in Education (2024)

Anna Malandrino

Cover for Barry King · Performing Identity (Book) (2024)

Performing Identity (2024)

Cover for Barry King · Performing Identity: Actor Training, Self-Commodification and Celebrity (Paperback Book) (2025)

Performing Identity: Actor Train... (2025)

Cover for Yevgeniy Dodis · Advances in Cryptology – CRYPTO 2022: 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Advances in Cryptology – CRYPTO ... (2022)

Cover for Strain Hardening Cementitious Composites: SHCC5 - RILEM Bookseries (Hardcover Book) [2023 edition] (2023)

Strain Hardening Cementitious Co... (2023)

Cover for Minoru Kunieda · Strain Hardening Cementitious Composites: SHCC5 - RILEM Bookseries (Paperback Book) [2023 edition] (2024)

Strain Hardening Cementitious Co... (2024)

Cover for Jon Ingvar Kjaran · Queer Social Movements and Activism in Indonesia and Malaysia (Hardcover Book) [2022 edition] (2022)

Queer Social Movements and Activ... (2022)

Jon Ingvar Kjaran

Cover for Jon Ingvar Kjaran · Queer Social Movements and Activism in Indonesia and Malaysia (Paperback Book) [2022 edition] (2023)

Queer Social Movements and Activ... (2023)

Jon Ingvar Kjaran

Cover for Ander Berrojalbiz · Sources from the Dawn of the Great Witch Hunt in Lower Navarre, 1370: Akelarre - Palgrave Historical Studies in Witchcraft and Magic (Hardcover Book) [2023 edition] (2022)

Sources from the Dawn of the Gre... (2022)

Ander Berrojalbiz

Cover for Biomedical Signal and Image Processing with Artificial Intelligence - EAI / Springer Innovations in Communication and Computing (Hardcover Book) [2023 edition] (2023)

Biomedical Signal and Image Proc... (2023)

Cover for Biomedical Signal and Image Processing with Artificial Intelligence - EAI / Springer Innovations in Communication and Computing (Paperback Book) [2023 edition] (2024)

Biomedical Signal and Image Proc... (2024)

Cover for Shannon C. Trotter-Suchita Sampath · Clinical Cases in Alopecia - Clinical Cases in Dermatology (Paperback Book) [1st ed. 2022 edition] (2023)

1st ed. 2022 edition

Clinical Cases in Alopecia - Cli... (2023)

Shannon C. Trotter-Suchita Sampath

Cover for Milan Z. Bjelica · Systems, Functions and Safety: A Flipped Approach to Design for Safety (Hardcover Book) [2023 edition] (2023)

Systems, Functions and Safety: A... (2023)

Milan Z. Bjelica

Cover for Milan Z. Bjelica · Systems, Functions and Safety: A Flipped Approach to Design for Safety (Paperback Book) [2023 edition] (2024)

Systems, Functions and Safety: A... (2024)

Milan Z. Bjelica

Cover for Infrastructural Being: Rethinking dwelling in a naturecultural world (Hardcover Book) [2022 edition] (2022)

Infrastructural Being: Rethinkin... (2022)

Cover for Welington De Melo · Welington de Melo - Selected Works (Hardcover Book) [2023 edition] (2023)

Welington de Melo - Selected Works (2023)

Welington De Melo

Cover for Tasneem Mandviwala · South Asian American Stories of Self: The Dis / United States of Muslim Womanhood - Muslims in Global Societies Series (Hardcover Book) [2022 edition] (2022)

South Asian American Stories of ... (2022)

Tasneem Mandviwala

Cover for Tasneem Mandviwala · South Asian American Stories of Self: The Dis / United States of Muslim Womanhood - Muslims in Global Societies Series (Paperback Book) [2022 edition] (2023)

South Asian American Stories of ... (2023)

Tasneem Mandviwala

Cover for Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Formal Modeling and Analysis of ... (2022)