Algebraic Methodology and Software Technology

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Charles Rattray

Themen in »Algebraic Methodology and Software Technology«

Java Unified Modeling Language (UML) algebraic methods algebraic specification calculus correct software design formal method formal methods formal verification mathematical software construction model checking modeling process algebra programming programming calculi

Stimmen zu »Algebraic Methodology and Software Technology«

Details

Link teilen