Specification of Software Systems

Name: Specification of Software Systems
Brand: Springer London Ltd
SKU: 2235402
Author: V.S. Alagar

V.S. Alagar, K. Periyasamy

Springer London Ltd

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 322 Kč

Není skladem

Do obchodu

Krátký popis

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Zobrazit celý popis

Výběr knih vydavatele Springer London Ltd