Computer-aided Specification Techniques

· ·
· World Scientific Series In Computer Science Livro 1 · World Scientific
Livro eletrónico
128
Páginas
Elegível
As classificações e as críticas não são validadas  Saiba mais

Acerca deste livro eletrónico

This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing.

Classifique este livro eletrónico

Dê-nos a sua opinião.

Informações de leitura

Smartphones e tablets
Instale a app Google Play Livros para Android e iPad/iPhone. A aplicação é sincronizada automaticamente com a sua conta e permite-lhe ler online ou offline, onde quer que esteja.
Portáteis e computadores
Pode ouvir audiolivros comprados no Google Play através do navegador de Internet do seu computador.
eReaders e outros dispositivos
Para ler em dispositivos e-ink, como e-readers Kobo, tem de transferir um ficheiro e movê-lo para o seu dispositivo. Siga as instruções detalhadas do Centro de Ajuda para transferir os ficheiros para os e-readers suportados.