10% OFF

Tool Support For System Specification, Development And Verification eBook

language: english
Publisher: Springer Vienna, December of 2012 ‧
59,61€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies.

Tool Support For System Specification, Development And Verification

Property Description
ISBN: 9783709163559
Publisher: Springer Vienna
Release Date: December of 2012
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Advances In Computing Sciences
Categories: eBooks in English > Computing > Image Editing
EAN: 9783709163559

BOOKS FROM THE SAME COLLECTION