Muutke küpsiste eelistusi

Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 166 pages, kõrgus x laius: 235x155 mm, 43 Illustrations, black and white
  • Sari: Lecture Notes in Computer Science
  • Ilmumisaeg: 18-Jun-2026
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3032267420
  • ISBN-13: 9783032267429
Teised raamatud teemal:
  • Pehme köide
  • Hind: 43,12 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,49 €
  • Säästad 25%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 3-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
  • Formaat: Paperback / softback, 166 pages, kõrgus x laius: 235x155 mm, 43 Illustrations, black and white
  • Sari: Lecture Notes in Computer Science
  • Ilmumisaeg: 18-Jun-2026
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3032267420
  • ISBN-13: 9783032267429
Teised raamatud teemal:
Teised raamatud sellest sooduspakkumisest: Kevadine sooduspakkumine - kuni 31. maini üle miljoni raamatu kuni 25% soodsamalt
Püsilink: https://www.kriso.ee/db/9783032267429.html
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.



The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited talks in full paper length. The papers are organized into the following topical sections: Invited Talks; Assessment and Evaluation in FM Education; and Experiential and Practice-Oriented FM Education.
.- Invited Talks.-Teaching Logic with Specification Challenges.-
Teaching Unifying Theories of Programming.- Assessment and Evaluation in FM
Education.- Autograding Weakest Precondition Proofs and Dafny
Specifications.- Automatic Assessment and Feedback on
UndergraduatesStructural Induction Proofs.- Seven-Year Activity to Introduce
B-Method to Japanese Technical College Students.- Experiential and
Practice-Oriented FM Education.- Learning Formal Methods through
Project-Based Modeling of Concurrent Systems with Anemone.- Teaching Frama-C
for Cybersecurity.- VeHa: A Hybrid National Verification Hackathon for Better
Formal Methods Education.