Beeld op de omslag

Summary goes here

Bewaard in:
Bibliografische gegevens
Formaat: Boek
Taal:Engels
Onderwerpen:
Formal methods (Computer science)
Fault-tolerant computing
Computer software
System analysis
Operating systems (Computers)
Electronic Data Processing
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Méthodes formelles (Informatique)
Tolérance aux fautes (Informatique)
Logiciels
Analyse de systèmes
Informatique.
Systèmes d'exploitation (Ordinateurs)
computer science.
data processing.
operating systems.
Computer science.
Software engineering.
Logic design.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

MU Online Library

Exemplaargegevens van MU Online Library
Plaatsingsnummer: missing
Kopie 0 AVAILABLE
Aantekeningen:
  • json {"id":"99161d15-c170-5e83-b484-b7154ab1e165","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261511002","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-15T16:45:26.391283519Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-15T16:45:26.580825686Z"}