Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Kubiak, Ryszard  Voir les notices liées en tant qu'auteur

Titre(s) : An introduction to programming with specifications [Texte électronique] : a mathematical approach / Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski

Publication : London ; San Diego : Academic Press, cop. 1991

Description matérielle : 1 ressource dématérialisée

Collection : The A.P.I.C. series ; no. 35

Note(s) : Includes bibliographical references and index

Autre(s) auteur(s) : Rudziński, Roman. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Sokołowski, Stefan. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Programmation (mathématiques)  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.12 (23e éd.) = Analyse et conception des systèmes de logiciels (informatique)  Voir les notices liées en tant que sujet ; 005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780124276208

Identifiant de la notice  : ark:/12148/cb446367002

Notice n° :  FRBNF44636700 (notice reprise d'un réservoir extérieur)