Значок книги

Summary goes here

Сохранить в:
Библиографические подробности
Формат: ‌
Язык:английский
Предметы:
Computer science
Information theory.
Formal methods (Computer science)
Mathematical Computing
Information Theory
Computing Methodologies
Informatique
Théorie de l'information.
Méthodes formelles (Informatique)
Informatique.
Information theory
Theoretische Informatik
Mathematische Logik
Berechenbarkeit
Komplexitätstheorie
Automatentheorie
Softwarespezifikation
Programmverifikation
Abstrakte Zustandsmaschine
Formale Methode
Congress
proceedings (reports)
Festschriften
Conference papers and proceedings
Conference papers and proceedings.
Festschriften.
Actes de congrès.
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

MU Online Library

Подробно о фондах из MU Online Library
Шифр: missing
Копировать 0 AVAILABLE
Примечания:
  • json {"id":"af1bb3b4-ce2f-52d1-9ff5-2be0da6d89c2","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261497558","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-01T16:55:20.424614134Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T16:55:20.660504914Z"}