Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Formal methods (Computer science)
Méthodes formelles (Informatique)
Informatique.
Computer science
Software engineering
Operating systems (Computers)
Logic design
Programming Languages, Compilers, Interpreters
Operating Systems
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Techniques
computerwetenschappen
computer sciences
programmeertalen
programming languages
programmeren
programming
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
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":"c526e149-4f8a-58b9-8a12-665c3abf316a","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261508982","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-18T22:12:14.645705606Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-18T22:12:15.159456979Z"}