Slika omota

Summary goes here

Spremljeno u:
Bibliografski detalji
Format: Knjiga
Jezik:engleski
Teme:
SPIN (Computer file)
SPIN (Logiciel)
Computer software
Logiciels
COMPUTERS
Model Checking
Programmverifikation
Vérification de logiciels.
Model-checking (Informatique)
model checking software
software
SPIN
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Barcelona (2004)
Kongress.
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":"ca660a53-645c-5193-8609-32f8a3aa9701","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261584753","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-08T21:14:10.763708136Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-08T21:14:10.975544863Z"}