Bearbmagovva

Summary goes here

Furkejuvvon:
Bibliográfalaš dieđut
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Fáttát:
Formal methods (Computer science)
Software engineering
Méthodes formelles (Informatique)
Génie logiciel
Informatique.
Softwareentwicklung
Formale Methode
Entscheidungsverfahren
Programmverifikation
Programmanalyse
Softwaretest
Model Checking
Serviceorientierte Architektur
Web Services
Leistungsbewertung
Schanghai <2010>
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

MU Online Library

oažžasuvvan: MU Online Library
Hildobáiki: missing
Njađus 0 AVAILABLE
Fuomášahttimat:
  • json {"id":"db9c1343-14a9-52c3-bc5b-2baf34847f09","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261500235","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-28T20:20:15.740513618Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-28T20:20:15.987101672Z"}