Sign-In
Cart
Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
Paperback
Series: Communications in Computer and Information Science, Book 1301
FictionGeneral EducationProgramming
ISBN13: 9783030713737
Publisher: Springer Nature
Published: Mar 11 2021
Pages: 227
Weight: 0.75
Height: 0.51 Width: 6.14 Depth: 9.21
Language: English
The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
Also in
General Education
A Light in Dark Times: The New School for Social Research and Its University in Exile
Friedlander, Judith
Paperback
How to Educate a Citizen: The Power of Shared Knowledge to Unify a Nation
Hirsch, E. D., Jr.
Hardcover
Culturally and Linguistically Responsive Teaching and Learning: Classroom Practices for Student Success
Hollie, Sharroky
Paperback
The College Scam: How America's Universities Are Bankrupting and Brainwashing Away the Future of America's Youth
Kirk, Charlie
Hardcover
Homeschooled: A New York Times Bestselling Memoir and Read with Jenna Pick
Merrill Block, Stefan
Hardcover
7-Figure Educator: Turn Your Experience as an Educator Into Income, Impact, and Freedom
Jordan-Thomas, Erica
Paperback
Light Up the Learning Brain: 7 Keys to Reducing Disruptive Behavior in the Classroom
Sinarski, Jessica
Paperback
Loteria: First Words / Primeras Palabras (Bilingual: English/Spanish): A Bilingual Picture Book
Rodriguez, Patty
Stein, Ariana
Hardcover
Why You Should Read Children's Books, Even Though You Are So Old and Wise
Rundell, Katherine
Hardcover
The Total Money Makeover: Classic Edition: A Proven Plan for Financial Fitness
Ramsey, Dave
Hardcover
Teach Like a Champion 3.0: 63 Techniques That Put Students on the Path to College
Lemov, Doug
Paperback
The College Finder: Your comprehensive guide to finding colleges that fit YOUR unique path
McCann M. S., Jay
Antonoff, Steven R.
Paperback
Math Fact Fluency: 60+ Games and Assessment Tools to Support Learning and Retention
Kling, Gina
Bay-Williams, Jennifer
Paperback
Poisoned Ivies: The Inside Account of the Academic and Moral Rot at America's Elite Universities
Stefanik, Elise
Hardcover
The Digital Delusion: How Classroom Technology Harms Our Kids' Learning--And How to Help Them Thrive Again; Updated Edition
Cooney Horvath, Jared, PhD Med
Paperback
The Neurodivergent Learner: A New Approach to Your Child's Success in the Classroom and Beyond
King, Emily W., PhD
Hardcover
The Kids Who Aren't Okay: The Urgent Case for Reimagining Support, Belonging, and Hope in Schools
Greene, Ross W.
Hardcover
The Joy of Money: How to Do More with and Feel Better about Your Money--No Matter How Much You Have
Grimes, Carrie Joy
Hardcover
Miracle Children: Race, Education, and a True Story of False Promises
Green, Erica L.
Benner, Katie
Hardcover
The Best 392 Colleges, 2027: In-Depth Profiles & Ranking Lists to Help Find the Right College for You
The Princeton Review
Franek, Robert
Soto, David
Paperback
The People's Guide to College Applications: A Week-By-Week Approach to Writing, Connecting, and Getting in
Constantino, Jill
Paperback
The Power of the Socratic Classroom: Students. Questions. Dialogue. Learning.
Fischer, Charles Ames
Paperback
Lies My Teacher Told Me: Everything Your American History Textbook Got Wrong
Loewen, James W.
Paperback
Scholastic Success with Reading Comprehension Grade 2 Workbook
Scholastic Teaching Resources
Paperback
The Station Rotation Model & UDL: Elevate Tier 1 Instruction and Cultivate Learner Agency
Tucker, Catlin R.
Paperback
Scholastic Success with Reading Comprehension Grade 4 Workbook
Scholastic Teaching Resources
Paperback
Better Than Carrots or Sticks: Restorative Practices for Positive Classroom Management
Fisher, Douglas
Frey, Nancy
Smith, Dominique
Paperback
Permission to Feel: The Power of Emotional Intelligence to Achieve Well-Being and Success
Brackett, Marc
Paperback
Financial Feminist: Overcome the Patriarchy's Bullsh*t to Master Your Money and Build a Life You Love
Dunlap, Tori
Hardcover
One Trusted Adult: How to Build Strong Connections & Healthy Boundaries with Young People
Raney Edd, Brooklyn
Paperback
Culturally Responsive Teaching and the Brain: Promoting Authentic Engagement and Rigor Among Culturally and Linguistically Diverse Students
Hammond, Zaretta L.
Paperback
Scholastic Success with Reading Comprehension Grade 3 Workbook
Scholastic Teaching Resources
Paperback
Original Sins: The (Mis)Education of Black and Native Children and the Construction of American Racism
Ewing, Eve L.
Paperback
What's So Great about the Great Books?: Why You Should Read Classic Literature (Even Though It Might Destroy You)
Kanakia, Naomi
Hardcover
First Little Readers Parent Pack: Guided Reading Level a: 25 Irresistible Books That Are Just the Right Level for Beginning Readers
Charlesworth, Liza
Schecter, Deborah
Paperback
The Addiction Recovery Workbook: Powerful Skills for Preventing Relapse Every Day
Freedman, Paula A.
Paperback
Universal Design for Learning: Principles, Framework, and Practice
Meyer, Anne
Rose, David H.
Paperback
Setting Limits in the Classroom, 3rd Edition: A Complete Guide to Effective Classroom Management with a School-Wide Disciplineplan
Stanzione, Lisa
MacKenzie, Robert J.
Paperback
How to Take Smart Notes: One Simple Technique to Boost Writing, Learning and Thinking
Ahrens, Sönke
Paperback
Supporting Student Executive Functions: Insights and Strategies for Educators
Reid, Alexis
Carey, Lisa
Paperback
The Writing Revolution 2.0: A Guide to Advancing Thinking Through Writing in All Subjects and Grades
Hochman, Judith C.
Wexler, Natalie
Paperback
Beyond the Science of Reading: Connecting Literacy Instruction to the Science of Learning
Wexler, Natalie
Paperback
Hacking School Discipline: 9 Ways to Create a Culture of Empathy and Responsibility Using Restorative Justice
Weinstein, Brad
Maynard, Nathan
Paperback
Mtss for Reading Improvement: A Leader's Tool Kit for Schoolwide Success (Reading Science in Action: An Mtss Tool Kit)
Brown, Sarah
Stollar, Stephanie
Paperback
The Naked Roommate: And 107 Other Issues You Might Run Into in College (Revised and Updated)
Cohen, Harlan
Paperback
AI with Intention: Principles and Action Steps for Teachers and School Leaders
Frontier, Tony
Paperback
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
Illuminating Care: The Pedagogy and Practice of Care in Early Childhood Communities
Garboden Murray, Carol
Paperback
The Preparation: How To Become Competent, Confident, and Dangerous
Smith, Matt
Smith, Maxim
Casey, Doug
Hardcover
Scholastic Success with Reading Comprehension Grade 5 Workbook
Scholastic Teaching Resources
Paperback
The Golden Thread: A History of the Western Tradition, Volume I: The Ancient World and Christendom
Guelzo, Allen C.
Hankins, James
Hardcover
Reading Assessment Done Right: Tools and Techniques for Data-Driven Instruction
Stollar, Stephanie
Winn, Kate
Paperback
The Opposite of Cheating: Teaching for Integrity in the Age of AI Volume 4
Bertram Gallant, Tricia
Rettinger, David A.
Paperback
Math Practice Workbook Grades 6-8: 1000+ Questions You Need to Kill in Middle School by Brain Hunter Prep
Brain Hunter Prep
Paperback
MANUAL SUPERANDO PÉRDIDAS EMOCIONALES, vigésimo aniversario, edición extendida: programa de acción para superar la muerte, el divorcio y otras pérdida
James, John W.
Friedman, Russell
Paperback
The Inspired Homeschool: How History's Heroes Light a Path Toward Joyful, Confident Learning
Pepito, Jennifer
Hardcover
The Essentials of Adolescent Literacy: Integrating Evidence-Based Reading and Writing Instruction in Grades 5-12
Sedita, Joan
Paperback
The Essential Homeschool Kindergarten Workbook: 135 Fun Curriculum-Based Activities to Build Reading, Writing, and Math Skills!
Lewallen, Hayley
Paperback
Unearthing Joy: A Guide to Culturally and Historically Responsive Curriculum and Instruction
Muhammad, Gholdy
Paperback
Teaching with Dignity: How to Create Classroom Ecosystems Where People Thrive
Cobb, Floyd
Snyder, Summer
Krownapple, John
Paperback
The Resistance Solution: Why Educators Resist Change and What They Need Instead
Silver, Becca
Paperback
CompTIA Tech+ Certification All-in-One Exam Guide, Third Edition (Exam FC0-U71)
Wempen, Faithe
Paperback
Your Students, My Students, Our Students: Rethinking Equitable and Inclusive Classrooms
Frey, Nancy
Fisher, Douglas
Jung, Lee Ann
Paperback
Fostering Resilient Learners: Strategies for Creating a Trauma-Sensitive Classroom
Hall, Pete
Souers, Kristin
Paperback
Creating a Language-Rich Math Class: Strategies and Activities for Building Conceptual Understanding
Atkins, Sandra L.
Paperback
What Happened to College?: How Politics Broke Higher Education and What We Can Do to Fix It
Gross, Neil
Hardcover
Thriving with ADHD Workbook for Kids: 60 Fun Activities to Help Children Self-Regulate, Focus, and Succeed
Miller, Kelli, Lcsw MSW
Paperback
Learn to Read Activity Book: 101 Fun Phonics Lessons to Teach Your Child to Read
Braun, Hannah, M. Ed
Paperback
Enhancing Professional Practice: The Framework for Teaching
Kappes, Lee
Danielson, Charlotte
Furman, Jim S.
Paperback
First Little Readers Parent Pack: Guided Reading Level B: 25 Irresistible Books That Are Just the Right Level for Beginning Readers
Charlesworth, Liza
Schecter, Deborah
Paperback
Handwriting Practice Book for Kids Ages 6-8: Printing workbook for Grades 1, 2 & 3, Learn to Trace Alphabet Letters and Numbers 1-100, Sight Words, 10
Lalgudi, Sujatha
Hippidoo
Paperback
The Preparation: How To Become Competent, Confident, and Dangerous
Smith, Matt
Smith, Maxim
Casey, Doug
Paperback
Powerful Writing Structures: Brain Pocket Strategies for Supporting a Year-Long Writing Program
Gear, Adrienne
Paperback
Facing the Fantasy, Finding the Way Forward: Every Educator's Guide to Moving Beyond Behavior Management to Lasting Behavioral Change Using Neuroscien
Bowman, Doris
Bowman, Rick
Paperback
The Shift to Student-Led: Reimagining Classroom Workflows with UDL and Blended Learning
Tucker, Catlin
Novak, Katie
Paperback
The Principal's Playbook on Instructional Leadership: 23 Things That Matter Most for Improving Student Achievement
McLaurin Ed D. Nbct, Josh
Paperback
Scholastic Success with Reading Comprehension Grade 1 Workbook
Scholastic Teaching Resources
Paperback
The 5 Love Languages of Children: The Secret to Loving Children Effectively
Chapman, Gary
Campbell, Ross
Paperback
Greek Myth Plays, Grades 3-5: 10 Readers Theater Scripts Based on Favorite Greek Myths That Students Can Read and Reread to Develop Their Fluency
Pugliano, Carol
Pugliano-Martin, Carol
Paperback
The Writing Revolution 2.0: A Guide to Advancing Thinking Through Writing in All Subjects and Grades
Wexler, Natalie
Hochman, Judith C.
Paperback
The Coddling of the American Mind: How Good Intentions and Bad Ideas Are Setting Up a Generation for Failure
Lukianoff, Greg
Haidt, Jonathan
Paperback
Teaching with AI: A Practical Guide to a New Era of Human Learning
Bowen, José Antonio
Watson, C. Edward
Paperback