Types for Proofs and Programs
Editat de Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reusen Limba Engleză Paperback – 22 sep 1999
Preț: 318.06 lei
Preț vechi: 397.57 lei
-20%
Puncte Express: 477
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540665373
ISBN-10: 3540665374
Pagini: 220
Ilustrații: VIII, 212 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540665374
Pagini: 220
Ilustrații: VIII, 212 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Malware DetectionMihai Christodorescu-20%Preț: 1873.20 lei2341.50 lei -
Computer VisionSimon J. D. Prince-20%Preț: 574.29 lei717.86 lei -
Enterprise Content and Search Management for Building Digital PlatformsShailesh Kumar Shivakumar-20%Preț: 503.70 lei629.61 lei -
Spock: Up and RunningRob Fletcher-20%Preț: 344.43 lei430.55 lei -
Tragic DesignJonathan Shariat-20%Preț: 183.16 lei228.95 lei -
Thoughtful Machine Learning with PythonMatthew Kirk-20%Preț: 244.61 lei305.76 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 250.24 lei312.80 lei -
Karau, H: High Performance SparkHolden Karau-20%Preț: 233.24 lei291.55 lei -
Practical TableauRyan Sleeper-20%Preț: 314.11 lei392.64 lei -
Introduction to Scientific VisualizationHelen Wright-20%Preț: 315.75 lei394.68 lei -
A Course in Mathematical CryptographyGilbert Baumslag-20%Preț: 326.52 lei408.15 lei -
Limits of ComputationBernhard Reus-20%Preț: 316.51 lei395.63 lei -
Applications and Theory of Petri Nets 2005Gianfranco Ciardo-20%Preț: 332.01 lei415.02 lei -
-20%Preț: 640.33 lei800.41 lei -
-20%Preț: 648.75 lei810.93 lei -
Memory ManagementHenry G. Baker-20%Preț: 329.14 lei411.42 lei -
Formal Hardware VerificationThomas Kropf-20%Preț: 326.68 lei408.36 lei -
-20%Preț: 325.44 lei406.80 lei -
-20%Preț: 319.92 lei399.90 lei
Public țintă
ResearchCuprins
On Relating Type Theories and Set Theories.- Communication Modelling and Context-Dependent Interpretation: An Integrated Approach.- Gröbner Bases in Type Theory.- A Modal Lambda Calculus with Iteration and Case Constructs.- Proof Normalization Modulo.- Proof of Imperative Programs in Type Theory.- An Interpretation of the Fan Theorem in Type Theory.- Conjunctive Types and SKInT.- Modular Structures as Dependent Types in Isabelle.- Metatheory of Verification Calculi in LEGO.- Bounded Polymorphism for Extensible Objects.- About Effective Quotients in Constructive Type Theory.- Algorithms for Equality and Unification in the Presence of Notational Definitions.- A Preview of the Basic Picture: A New Perspective on Formal Topology.