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

Pirmais vāks
Springer, 1990 - 493 lappuses

Lietotāju komentāri - Rakstīt atsauksmi

Ierastajās vietās neesam atraduši nevienu atsauksmi.

Citi izdevumi - Skatīt visu

Bibliogrāfiskā informācija