Specification and Transformation of Programs: A Formal Approach to Software Development Springer-Verlag, 1990 - 493 lappuses |
Citi izdevumi - Skatīt visu
Specification and Transformation of Programs: A Formal Approach to Software ... Helmut A. Partsch Ierobežota priekšskatīšana - 1990 |
Specification and Transformation of Programs: A Formal Approach to Software ... Helmut A. Partsch Ierobežota priekšskatīšana - 1990 |
Specification and Transformation of Programs: A Formal Approach to Software ... Helmut A. Partsch Ierobežota priekšskatīšana - 2012 |
Atsauces uz šo grāmatu
Algebraic System Specification and Development: A Survey and Annotated ... Michel Bidoit Ierobežota priekšskatīšana - 1991 |