Logic of Computation: NATO ASI Subseries F:, cartea 157
Editat de Helmut Schwichtenbergen Limba Engleză Paperback – 13 oct 2012
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 331.55 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 13 oct 2012 | 331.55 lei 6-8 săpt. | |
Hardback (1) | 578.67 lei 6-8 săpt. | |
Springer Verlag – 16 iul 1997 | 578.67 lei 6-8 săpt. |
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ț: 331.55 lei
Preț vechi: 414.44 lei
-20% Nou
Puncte Express: 497
Preț estimativ în valută:
63.47€ • 65.98$ • 52.63£
63.47€ • 65.98$ • 52.63£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642638329
ISBN-10: 3642638325
Pagini: 416
Ilustrații: VII, 403 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642638325
Pagini: 416
Ilustrații: VII, 403 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives.- to Gröbner Bases.- Bounded Arithmetic and Propositional Proof Complexity.- The Structure of Nuprl’s Type Theory.- Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant.- Some Proof Theory of First Order Logic Programming.- Timed Rewriting Logic for the Specification of Time-Sensitive Systems.- Logic Programming and Meta-Logic.- Proofs, Lambda Terms and Control Operators.- Basic Proof Theory with Applications to Computation.
Descriere
Descriere de la o altă ediție sau format:
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.