단행본 상세

URL복사하기
서지주요정보
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings [electronic resource]
서명 / 저자 Formal Methods Teaching [electronic resource] : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi.
저자명 Ferreira, João F. editor. (orcid)0000-0002-6612-9013 https://orcid.org/0000-0002-6612-9013 edt http://id.loc.gov/vocabulary/relators/edt ; Mendes, Alexandra. editor. (orcid)0000-0001-8060-5920 https://orcid.org/0000-0001-8060-5920 edt http://id.loc.gov/vocabulary/relators/edt ; Menghi, Claudio. editor. (orcid)0000-0001-5303-8481 https://orcid.org/0000-0001-5303-8481 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2021.
Online Access https://doi.org/10.1007/978-3-030-91550-6 URL

서지기타정보

서지기타정보
청구기호 QA8.9-10.3
판사항 1st ed. 2021.
형태사항 XII, 147 p. 27 illus., 14 illus. in color. online resource.
총서명 Theoretical Computer Science and General Issues, 2512-2029 ; 13122
언어 English
내용 Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming.
주제 Mathematical logic.
Mathematical Logic and Foundations.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030915490 Printed edition: 9783030915513
ISBN 9783030915506
기타 표준번호 10.1007/978-3-030-91550-6
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기