R

ReComparo.com

Visit store

ReComparo.com

4.5 (123)

Formal Methods For Software Engineering: Languages, Methods, Application Domains (Texts In Theoretical Computer Science. An Eatcs Series) - 9783030388027

Name: ReComparo.com Formal Methods For Software Engineering: Languages, Methods, Application Domains (Texts In Theoretical Computer Science. An Eatcs Series) - 9783030388027 - Formal Methods For Software Engineering: Languages, Methods, Application Domains (Texts In Theoretical Computer Science. An Eatcs Series) - 9783030388027
Brand: ReComparo.com
SKU: 48292807377201
Price: 66.64 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$66.64

Quantity

Color

Black

Quantity

Description

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to...