Slika omota

Summary goes here

Spremljeno u:
Bibliografski detalji
Format: Knjiga
Jezik:engleski
Teme:
Automatic theorem proving
Artificial intelligence
Théorèmes
Intelligence artificielle
Informatique.
Eingebettetes System
Formale Methode
Hardwareentwurf
Hybrides System
Model Checking
Softwareentwicklung
Systemanalyse
Systementwurf
Verifikation
Zeitbehafteter Automat
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Macao (2009)
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

MU Online Library

Detalji primjeraka od MU Online Library
Signatura: missing
Primjerak 0 AVAILABLE
Bilješke:
  • json {"id":"af658055-7606-5048-b159-42a4ebb7b959","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261492068","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-18T13:52:37.440690002Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-18T13:52:37.670449260Z"}