imagem não disponível
Formal Software Development
10% OFF

Formal Software Development eBook

From Vdm To Java

by Aaron Kans e Quentin Charatan
language: english
Publisher: BLOOMSBURY PUBLISHING, September of 2003 ‧
89,42€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.

Formal Software Development

From Vdm To Java

by Aaron Kans e Quentin Charatan

Property Description
ISBN: 9780230005860
Publisher: BLOOMSBURY PUBLISHING
Release Date: September of 2003
Language: English
Pages: 256
Format: eBook
File Format and Compatibility: PDF para ADE
Categories: eBooks in English > Computing > Schedule
EAN: 9780230005860

AARON KANS

SEE MORE TITLES BY THIS AUTHOR

QUENTIN CHARATAN

SEE MORE TITLES BY THIS AUTHOR