Keywords:
Algebra_xData processing
;
Artificial intelligence
;
Computer science
;
Logic design
;
Software engineering
;
Computer Science
;
Konferenzschrift 1993
;
Formale Spezifikationstechnik
Type of Medium:
Online Resource
Pages:
Online-Ressource
ISBN:
9783540480563
Series Statement:
Lecture Notes in Computer Science 735
URL:
https://doi.org/10.1007/BFb0039695
URL:
https://swbplus.bsz-bw.de/bsz322906121cov.jpg
URL:
https://zbmath.org/?q=an:0825.00066
Language:
English