Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Automatic theorem proving
Parallel processing (Electronic computers)
compositionnalité.
concurrence.
méthode formelle.
spécification formelle.
vérification système.
Parallélisme (Informatique)
Engenharia de programacao (software)
Parallélisme (informatique)
Programacao de computadores.
Théorèmes
Programmatuurtechniek.
Verificatie.
Conference papers and proceedings.
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

UMSL TJL General Collection Level 4

Bestandsangaben von UMSL TJL General Collection Level 4
Signatur: QA76.58 .C639 1997
Exemplar 0 AVAILABLE
Anmerkungen:
  • json {"id":"6fb48106-5571-5686-9276-c81598c63dc5","status":{"code":"AVAILABLE"},"location":{"code":"SJLEVEL4","name":"UMSL TJL General Collection Level 4"},"barcode":"060-103144526","callNumber":"QA76.58 .C639 1997","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-04-20T22:01:35.210152318Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-04-20T22:01:35.782469994Z"}

MU Library Depository 2

Bestandsangaben von MU Library Depository 2
Signatur: ENGR QA76 .L43 1536
Exemplar 1 AVAILABLE
Anmerkungen:
  • json {"id":"cdfae84e-b8a2-5983-8a6c-a5b384958175","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC2","name":"MU Library Depository 2"},"barcode":"302044512005","callNumber":"ENGR QA76 .L43 1536","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-04-20T22:01:35.210152318Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-04-20T22:01:35.782969759Z"}