Azala

Summary goes here

Gorde:
Xehetasun bibliografikoak
Formatua: Liburua
Hizkuntza:ingelesa
Gaiak:
Formal methods (Computer science)
Electronic Data Processing
Méthodes formelles (Informatique)
computer science.
data processing.
COMPUTERS
Informatique.
Formale Methode
Model Checking
Softwareentwicklung
Spezifikationssprache
Systementwicklung
Verifikation
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Eindhoven (2005)
Kongress.
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

MU Online Library

Aleari buruzko argibideak MU Online Library
Sailkapena: missing
Alea 0 AVAILABLE
Oharrak:
  • json {"id":"caf0cfaf-9def-55bb-a1b7-4d1526f157b4","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261448006","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-14T04:52:24.409194616Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-14T04:52:24.640946343Z"}