Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Software engineering
Génie logiciel
COMPUTERS
Programmverifikation
Softwareentwicklung
Systementwurf
Formal methods (Computer science)
Programmanalyse
Informatique.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tags: Add Tag
No Tags, Be the first to tag this record!

MU Online Library

Holdings details from MU Online Library
Call Number: missing
Copy 0 AVAILABLE
Notes:
  • json {"id":"a53e5f4d-0750-528a-b961-b33a66338c50","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261485362","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-17T07:02:42.433445189Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-17T07:02:42.622460930Z"}