Liste de favoris
La liste de favoris est vide.
Le panier est vide.
Envoi gratuit possible
Veuillez patienter - l'impression de la page est en cours de préparation.
La boîte de dialogue d'impression s'ouvre dès que la page a été entièrement chargée.
Si l'aperçu avant impression est incomplet, veuillez le fermer et sélectionner "Imprimer à nouveau".
QED at Large
ISBN/GTIN

QED at Large

A Survey of Engineering of Formally Verified Software
LivreCartonné
Classement des ventes 42773dans
CHF144.00

Description

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

Détails

ISBN/GTIN978-1-68083-594-6
Type de produitLivre
ReliureCartonné
Date de parution03.09.2019
Pages198 pages
LangueAnglais
DimensionsLargeur 156 mm, Hauteur 234 mm, Épaisseur 11 mm
Poids310 g
N° article7277008
CataloguesBuchzentrum
Source des données n°32564942
Plus de détails

Auteur

Plus de produits de Palmskog, Karl

Plus de produits de Ringer, Talia

Plus de produits de Sergey, Ilya

Mot-clé