Capa do artigo Correctness-By-Construction Approach To Programming
10% OFF

Correctness-By-Construction Approach To Programming eBook

by Bruce W. Watson e Derrick G. Kourie
language: english
Publisher: Springer Berlin Heidelberg, April of 2012 ‧
118,59€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

Correctness-By-Construction Approach To Programming

by Bruce W. Watson e Derrick G. Kourie

Property Description
ISBN: 9783642279195
Publisher: Springer Berlin Heidelberg
Release Date: April of 2012
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Computer Science
Categories: eBooks in English > Computing > Schedule
EAN: 9783642279195

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

BRUCE W. WATSON

SEE MORE TITLES BY THIS AUTHOR