Articles liés à Programming Methodology

Programming Methodology ISBN 13 : 9781468495690

Programming Methodology - Couverture souple

 
9781468495690: Programming Methodology

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

(parts and sections listed) Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior] Part II: Programming techniques [object orientation, type theory] Part III: Applications and automated theories [putting theories into practice by automation, programming circuits, security and keeping secrets]

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9780387953496: Programming Methodology

Edition présentée

ISBN 10 :  0387953493 ISBN 13 :  9780387953496
Editeur : Springer-Verlag New York Inc., 2002
Couverture rigide