Omslagsbild

Summary goes here

Sparad:
Bibliografiska uppgifter
Materialtyp: Bok
Språk:engelska
Ämnen:
Computer software
Software engineering
Electronic Data Processing
Génie logiciel
Informatique.
Kommunikationssystem
Model Checking
Softwaretest
Testen
Testmustergenerierung
Software
Computer science
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Models and Principles
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

MU Online Library

Beståndsuppgifter i MU Online Library
Signum: missing
Exemplar 0 AVAILABLE
Anmärkningar:
  • json {"id":"8dc28150-cbd0-54a2-a40f-6e8adc0ce2c9","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261508295","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-09-16T01:09:24.202041972Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-09-16T01:09:24.385728937Z"}