Catalog > Social Sciences > General > Leila Ribeiro & Emil Sekerinski: Formal Methods Teaching (ePUB)

Leila Ribeiro & Emil Sekerinski
Formal Methods Teaching [EPUB ebook]
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Support

Cover of Leila Ribeiro & Emil Sekerinski: Formal Methods Teaching (ePUB)

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.

€42.24

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031713798 ● Editor Leila Ribeiro & Emil Sekerinski ● Publisher Springer Nature Switzerland ● Published 2024 ● Downloadable 3 times ● Currency EUR ● ID 9945632 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Leila Ribeiro Emil Sekerinski

128,650 Ebooks in this category

Cover of Sor-hoon Tan: Challenging Citizenship

Sor-hoon Tan: Challenging Citizenship

Over the last ten years citizenship has become an area of interdisciplinary research and teaching in its own right. This book highlights that globalization poses new challenges for established unders …

Cover of Prof Carole Counihan & Susanne Højlund: Making Taste Public

Prof Carole Counihan & Susanne Højlund: Making Taste Public

Making Taste Public takes an ethnographic approach to show how social relations shape – and are shaped by – the taste of food. Recognizing that different cultures have different taste preferences and …

Cover of Michael Erbschloe: Social Media Warfare

Michael Erbschloe: Social Media Warfare

Social media applications can be weaponized with very little skill. Social media warfare has become a burden that nation states, government agencies, and corporations need to face. To address the soc …

Cover of Margaret (Independent Scholar, USA) Magat: Balut

Margaret (Independent Scholar, USA) Magat: Balut

In this book, Margaret Magat explores both the traditional and popular culture contexts of eating balut. Balut-fertilized duck or chicken eggs that have developed into fully formed embryos with feath …

Cover of James M. Henslin: Homelessness

James M. Henslin: Homelessness

This is Volume II of a bibliography of works on the homelessness and is dedicated to the many homeless people who discussed their situation during the author”s research across the United States. …

Cover of Jordan McKenzie: Deconstructing Happiness

Jordan McKenzie: Deconstructing Happiness

This book offers an original account of the good life in late modernity through a uniquely sociological lens. It considers the various ways that social and cultural factors can encourage or impede ge …

Cover of Pramod K. Nayar: The Human Rights Graphic Novel

Pramod K. Nayar: The Human Rights Graphic Novel

This book studies human rights discourse across a variety of graphic novels, both fiction and non-fiction, originating in different parts of the world, from India to South Africa, Sarajevo to Vietnam …

Cover of Jr., Joseph F. (San Diego State University, USA) Johnson & Lynne G. (San Diego State University, USA) Perez: Leadership in America''s Best Urban Schools

Jr., Joseph F. (San Diego State University, USA) Johnson & Lynne G. (San Diego State University, USA) Perez: Leadership in America”s Best Urban Schools

Leadership in America’s Best Urban Schools describes and demystifies the qualities that successful leaders rely on to make a difference at all levels of urban school leadership. Grounded in research, …

Cover of Kerry (Research Fellow, Sheffield Hallam University, UK) Griffiths: Femininity, Feminism and Recreational Pole Dancing

Kerry (Research Fellow, Sheffield Hallam University, UK) Griffiths: Femininity, Feminism and Recreational Pole Dancing

This book explores the phenomenon of pole dancing as an increasingly popular fitness and leisure activity for women. It moves beyond previous debates surrounding the empowering or degrading nature of …

Cover of E. Dora Earthy: Valenge Women

E. Dora Earthy: Valenge Women

When first published in 1933, this monograph shed new light on the life of the Valenge women of Portuguese East Africa. It discusses their social organisations, family relationships, education, triba …