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

Summary goes here

Збережено в:
Бібліографічні деталі
Формат: Книга
Мова:Англійська
Предмети:
Computer programs
Logiciels
COMPUTERS
Abstrakte Interpretation
Formale Methode
Kongress
Model Checking
Programmanalyse
Programmverifikation
Vérification de logiciels.
Model-checking (Informatique)
Méthode formelle.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Venedig (2004)
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!

MU Online Library

Детальна інфо про примірники із MU Online Library
Шифр: missing
Примірник 0 AVAILABLE
Примітки:
  • json {"id":"79bc6654-78f9-564c-b6fd-1f58b7aaad9e","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i26158411x","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-13T04:37:48.086057142Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T04:37:48.332143025Z"}