Reihe Springer Texts in Electrical Engineering

 

Specification and Transformation of Programs

A Formal Approach to Software Development

Helmut A. Partsch

Springer Berlin

eBook

2012

53,49 €

 

Specification and Transformation of Programs

A Formal Approach to Software Development

Helmut A. Partsch

Springer Berlin

Softcover

1990

53,49 €