Building High Integrity Applications with SPARK
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building system......
For øyeblikket har vi ingen tilbud på dette produktet, men vi inviterer deg til å utforske lignende produkter som kan være av interesse.
Topplisten: Other Brand Ungdomsskole/videregående
Grunntall 9
270,-
2
Tema
390,-
2
Teaterhistorie. Bd. 2
110,-
2
Grunntall 8
450,-
2
Å lykkes med egen læring
80,-
215,-
2
Produktinformasjon
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.
Spesifikasjon
Produkt
| Produktnavn | Building High Integrity Applications with SPARK |
| Merke | Other Brand |
Pris og prishistorikk
Beginning Android Tablet ProgrammingThe Logic of Categorial GrammarsThe Definitive Guide to HTML5 VideoGenerative and Transformational Techniques in Software Engineering III
Proceedings of the Sixth International Conference on Mathematics and ComputingFormal Methods: Foundations and ApplicationsAccessibility for EverybodyTools and Algorithms for the Construction and Analysis of Systems
Monitoring Microservices and Containerized ApplicationsModel and Data EngineeringPerl Programming in easy stepsVR Integrated Heritage Recreation