Omslagsbillede

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
Computer science.
Software engineering.
Logic design.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Electronic data processing.
Formal methods (Computer science)
Méthodes formelles (Informatique)
Informatique.
Génie logiciel.
Structure logique.
data processing.
computer science.
COMPUTERS
Electronic data processing
Computer science
Logic design
Software engineering
Formale Methode
Formale Spezifikationstechnik
Kongress
Model Checking
Systementwicklung
Verifikation
Méthode formelle.
Conference papers and proceedings
Canterbury (2004)
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

MU Online Library

Detaljer om beholdninger fra MU Online Library
Klassifikationsnummer: missing
Kopi 0 AVAILABLE
Kommentarer:
  • json {"id":"0c49f6fe-cd86-5318-9226-7514ef3bccfa","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261595076","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-01T17:10:30.732129323Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T17:10:30.986853460Z"}