QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Livres - now publishers Inc - 9781680835946 - 3 septembre 2019
Si la couverture et le titre ne correspondent pas, le titre est correct.

QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages

Talia Ringer

Prix
€ 64,99

Commandé depuis un entrepôt distant

Livraison prévue 26 nov. - 3 déc.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages

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.

194 pages

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 3 septembre 2019
ISBN13 9781680835946
Éditeurs now publishers Inc
Pages 194
Dimensions 293 × 234 × 14 mm   ·   306 g

Voir tous les Talia Ringer ( par ex. Paperback Book )