Specification and Transformation of Programs: A Formal Approach to Software Development

Pirmais vāks
Springer, 1990 - 493 lappuses

Citi izdevumi - Skatīt visu

Bibliogrāfiskā informācija