Proof and Computation: NATO ASI Subseries F:, cartea 139
Editat de Helmut Schwichtenbergen Limba Engleză Paperback – 13 dec 2011
Din seria NATO ASI Subseries F:
- 20% Preț: 637.10 lei
- 20% Preț: 655.03 lei
- 20% Preț: 972.32 lei
- 18% Preț: 1214.04 lei
- 20% Preț: 1889.27 lei
- 20% Preț: 641.13 lei
- 18% Preț: 1208.97 lei
- 20% Preț: 695.43 lei
- 20% Preț: 642.77 lei
- 18% Preț: 1817.26 lei
- 20% Preț: 367.42 lei
- 20% Preț: 971.83 lei
- 20% Preț: 657.45 lei
- 20% Preț: 1886.84 lei
- 20% Preț: 974.56 lei
- Preț: 381.68 lei
- 20% Preț: 644.70 lei
- 20% Preț: 641.95 lei
- 18% Preț: 1200.45 lei
- 18% Preț: 932.79 lei
- 20% Preț: 325.38 lei
- 20% Preț: 1258.40 lei
- 20% Preț: 631.75 lei
- Preț: 387.90 lei
- 18% Preț: 1196.29 lei
- 15% Preț: 630.33 lei
- 20% Preț: 632.40 lei
- 20% Preț: 1256.94 lei
- 20% Preț: 643.08 lei
- 20% Preț: 1257.27 lei
- 20% Preț: 1885.07 lei
- 20% Preț: 354.94 lei
Preț: 641.62 lei
Preț vechi: 802.03 lei
-20% Nou
Puncte Express: 962
Preț estimativ în valută:
122.79€ • 127.55$ • 101.100£
122.79€ • 127.55$ • 101.100£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642793639
ISBN-10: 3642793630
Pagini: 488
Ilustrații: VII, 470 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.68 kg
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642793630
Pagini: 488
Ilustrații: VII, 470 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.68 kg
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.