Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Computer software
Object-oriented methods (Computer science)
Formal methods (Computer science)
Logiciels
Conception orientée objet (Informatique)
Méthodes formelles (Informatique)
Informatique.
Softwareprodukt
Objektorientierung
Verifikation
Formale Methode
Objektorientierte Programmiersprache
Paris <2010>
programmeren
programming
wiskunde
mathematics
informatiesystemen
information systems
computerwetenschappen
computer sciences
software engineering
programmeertalen
programming languages
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MU Online Library

Informace o exemplářích z: MU Online Library
Signatura: missing
Jednotka 0 AVAILABLE
Poznámky:
  • json {"id":"3cf7e9f2-e735-5a33-aafc-60fb335ce1de","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261501410","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-13T19:54:27.072498818Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T19:54:27.556478292Z"}