Ata uhi

Summary goes here

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Hōputu: Pukapuka
Reo:Ingarihi
Ngā marau:
Computer software
Formal methods (Computer science)
Software Validation
Software
Logiciels
Méthodes formelles (Informatique)
Logiciels.
software.
Informatique.
Softwareentwicklung
Softwaretest
Beweis
Softwaresystem
Model Checking
Formale Methode
Málaga <2010>
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

MU Online Library

Ngā taipitopito puringa mai i MU Online Library
Tau karanga: missing
Tārua 0 AVAILABLE
Ngā tuhipoka:
  • json {"id":"e5cee64e-5407-5bf9-8370-6c231817d65f","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261496311","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-28T05:37:02.712644156Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-28T05:37:02.935008722Z"}