Зображення обкладинки

Summary goes here

Збережено в:
Бібліографічні деталі
Формат: Книга
Мова:Англійська
Предмети:
Formal methods (Computer science)
Méthodes formelles (Informatique)
Informatique.
Fehlertoleranz
Formale Methode
InterruptInformatik
Model Checking
Programmverifikation
Sicherheitskritisches System
Testen
Verifikation
Software
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Gramado (2009)
Kongress (2009)
Online-Publikation.
Kongress.
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!

MU Online Library

Детальна інфо про примірники із MU Online Library
Шифр: missing
Примірник 0 AVAILABLE
Примітки:
  • json {"id":"7bb7ce40-84cc-5dec-9375-7a971acf0d16","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261493024","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-23T11:43:53.521953736Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-23T11:43:53.712029303Z"}