Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Proof And Computation

Proof And Computation - Schwichtenberg, Helmut (EDT) - ISBN: 9783642793639
Prijs: € 143,65
Levertijd: 12 tot 15 werkdagen
Bindwijze: Boek
Genre: Theoretische informatica
Boekenliefde.nl:
Proof And Computation op boekenliefde.nl
Add to cart

Beschrijving

Proceedings Of The Nato Advanced Study Institute On Proof And Computation, Held In Marktoberdorf, Germany, July 20 - August 1, 1993

Details

Titel: Proof And Computation
auteur: Schwichtenberg, Helmut (EDT)
Mediatype: Boek
Taal: Engels
Druk: 1
Aantal pagina's: 470
Uitgever: Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg
Plaats van publicatie: DE
NUR: Theoretische informatica
Afmetingen: 235 x 155
Gewicht: 733 gr
ISBN/ISBN13: 9783642793639
Intern nummer: 23513663

Inhoudsopgave

Program Development by Proof Transformation.- Concurrent Processes and Petri Nets.- Using Reflection to Explain and Enhance Type Theory.- On Geometry of Interaction.- Behavioural Specifications.- A Deductive Approach to Logic Programming.- Rewrite Proofs and Computations.- Action Structures and the Pi Calculus.- Linear Logic and Computation: A Survey.- Computable Functions on Stream Algebras.- The Proof Theoretic Complexity of Recursive Programs.

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.