2026-07-02T15:58:07Zhttps://ce.visuallibrary.net/ulbd/oai/

oai:ce.visuallibrary.net/ulbd:2328742015-02-27T16:00:10Zulbdcebook

vls/2603nrwcece.visuallibrary.netvdEinBasiskalkül für die Verifikation von Eigenschaften synchron interagierender ObjekteConrad, StefanauttextbookDüsseldorfVDI-Verl.1994Als Ms. gedr.monographicgerVI, 139 S. : graph. Darst.Stefan ConradZugl.: Braunschweig, Techn. Univ., Diss.Objekt <Informatik>VerifikationFormale SpracheSpezifikationssprache3-18-329510-5HT006284306Fortschritt-Berichte VDI : Reihe 10 295HT002115772385f889419941007700123401 https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D700123401+X0001 https://ce.visuallibrary.net/id/232874 https://ce.visuallibrary.net/i3f/v20/232874/manifest https://ce.visuallibrary.net/proto_ftsearch/232874