תמונות העטיפה

Summary goes here

שמור ב:
מידע ביבליוגרפי
פורמט: ספר
שפה:אנגלית
נושאים:
Formal methods (Computer science)
Computer software
Computer programs
Méthodes formelles (Informatique)
Logiciels
COMPUTERS
Formale Methode
Hardwareentwurf
Kongress
Korrektheit
Softwareentwicklung
Testen
Software
Méthode formelle.
Vérification de logiciels.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Montreal (2003)
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

MU Online Library

פרטי מלאי ספרים מ MU Online Library
סימן המיקום: missing
עותק 0 AVAILABLE
הערות:
  • json {"id":"13a42cfc-b5c5-5b0c-9b80-bf59d3d8f34f","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261583645","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-01T16:07:07.642403081Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T16:07:07.880245230Z"}