Deductive Program Design

December 10, 2019

Deductive Program Design

Titre de livre: Deductive Program Design

Date de sortie: June 18, 1996

Broché: 470 pages

ISBN: 9783540609476

Éditeur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Téléchargez ou lisez le livre Deductive Program Design au format PDF et EPUB. Ici, vous pouvez télécharger gratuitement tous les livres au format PDF ou Epub. Utilisez le bouton disponible sur cette page pour télécharger ou lire un livre en ligne.

Deductive Program Design This volume presents research in the description of distributed systems and the design calculi of software and hardware using functional, algebraic, logical and programming calculi. Full description