Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Formal Methods Teaching

  • Main
  • Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung
0 / 0
0 comments
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Рік:
2021
Мова:
english
ISBN 10:
3030915506
ISBN 13:
9783030915506
ISBN:
318c450b-c4a0-4d2d-8fe8-7973d2786e14
Файл:
AZW3 , 5.69 MB
IPFS:
CID , CID Blake2b
english, 2021
Читати Онлайн
  • azw3 5.69 MB Current page
  • Checking other formats...
  • Конвертований файл может відрізнятись від оригіналу. По можливості краще завантажувати файл в форматі оригіналу
Виконується конвертація в
Конвертація в не вдалась

Ключові фрази

 
formal
methods
verification
tools
programming
courses
specification
isabelle
doi.org
checking
programs
systems
feedback
method
springer
exercises
lecture
interactive
array
key
tasks
proofs
lncs
introduction
correctness
games
calculus
refinement
reasoning
serious
participants
correct
engineering
algorithms
assignment
modelling
approach
sessions
lemma
postcondition
visualization
automated
cbc
theoretical
topics
uppaal
practical
related
exam
invariant
kalkulierbar
logical
assistant
engagement
goal
corc
dafny
introducing
sequent
step