Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Francois Pessaux"'
This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that inter
This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere
Autor:
François Pessaux
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 149, Iss Proc. F-IDE 2014, Pp 64-78 (2014)
For years, Integrated Development Environments have demonstrated their usefulness in order to ease the development of software. High-level security or safety systems require proofs of compliance to standards, based on analyses such as code review and
Externí odkaz:
https://doaj.org/article/84023101a55c4caf98d353ad51d6c27c
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.