Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
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.
Tags: Add Tag
No Tags, Be the first to tag this record!

MU Online Library

Holdings details from MU Online Library
Call Number: missing
Copy 0 AVAILABLE
Notes:
  • 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-08-13T08:39:36.801595670Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T08:39:37.870676388Z"}