Algorithms the construction, proof, and analysis of programs

Bibliographic Details
Main Author: Berlioux, Pierre (-)
Other Authors: Bizard, Philippe
Format: Book
Language:Inglés
Published: Chichester [etc.] : John Wiley & Sons 1987.
Edition:Repr
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991003564469703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Item Description:Traducción de: Algorithmique : construction, preuve et évaluation des programmes
Physical Description:IX, 145 p. ; 23 cm
Bibliography:Bibliogr.: p. 143-144
ISBN:9780471908449