Catalog > Science > Informatique > Peter C. Chapin & John W. McCormick: Building High Integrity Applications with SPARK (PDF)

Peter C. Chapin & John W. McCormick
Building High Integrity Applications with SPARK [PDF ebook]

Support

Couverture du Peter C. Chapin & John W. McCormick: Building High Integrity Applications with SPARK (PDF)

€63.19

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9781316371381 ● Maison d’édition Cambridge University Press ● Publié 2015 ● Téléchargeable 3 fois ● Devise EUR ● ID 4506597 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Peter C. Chapin John W. McCormick

75 745 Ebooks dans cette catégorie

Couverture du Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Couverture du Cesar Anton Dorantes: Hands-On G Suite for Administrators

Cesar Anton Dorantes: Hands-On G Suite for Administrators

Effectively implement and administer business solutions on any scale in a cost-effective way to have a competitive advantage using Gsuite Key Features

Enhance administration with Admin conso …

Couverture du Information Resources Management Association: Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications

Couverture du Team Orange: Touchpad Modular Ver. 1.1 Class 2

Team Orange: Touchpad Modular Ver. 1.1 Class 2

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Couverture du Amra Alagic & Nijaz Bajgoric: Enhancing Business Continuity and IT Capability

Amra Alagic & Nijaz Bajgoric: Enhancing Business Continuity and IT Capability

Enterprise servers play a mission-critical role in modern computing environments, especially from a business continuity perspective. Several models of IT capability have been introduced over the last …

Couverture du Narayanan Palani: Automated Software Testing with Cypress

Narayanan Palani: Automated Software Testing with Cypress

Unit Integration Testing (UIT) had been a challenge because there was no tool that could help in XHR programming and unit integration validations in an efficient way until Cypress arrived. Cypress st …

Couverture du Information Resources Management Association: Web Design and Development: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Design and Development: Concepts, Methodologies, Tools, and Applications

Couverture du Jacqueline Alma & Jim Carre: Technology-Enhanced Human Interaction in Modern Society

Jacqueline Alma & Jim Carre: Technology-Enhanced Human Interaction in Modern Society

Couverture du Geeta Zunjani: Artificial Intelligence Class 3

Geeta Zunjani: Artificial Intelligence Class 3

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …

Couverture du Wendy Despain: Writing for Video Game Genres

Wendy Despain: Writing for Video Game Genres

This book, written and edited by members of the International Game Developers Association (IGDA) Game Writing Special Interest Group, follows the acclaimed Professional Techniques for Video Game Writ …

Page suivante >>>