The way of Z : practical programming with formal methods /
Na minha lista:
Autor principal: | Jacky, Jonathan. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/101139 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Z : an introduction to formal methods /
por: Diller, Antoni.
Publicado em: (2022) -
Programming : principles and practice using C++ /
por: Stroustrup, Bjarne.
Publicado em: (2022) -
The formal semantics of programming languages : an introduction /
por: Winskel, Glynn.
Publicado em: (2022) -
Accelerated C++ : / practical programming by example /
por: Koenig, Andrew., et al.
Publicado em: (2022) -
The practice of programming /
por: Kernighan, Brian W.,, et al.
Publicado em: (2022)