Logic and Algebra of Specification: NATO ASI Subseries F:, cartea 94
Editat de Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenbergen Limba Engleză Paperback – 14 apr 2014
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 944.59 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 14 apr 2014 | 944.59 lei 6-8 săpt. | |
Hardback (1) | 947.73 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 5 iul 1993 | 947.73 lei 6-8 săpt. |
Din seria NATO ASI Subseries F:
- 20% Preț: 615.93 lei
- 20% Preț: 633.26 lei
- 20% Preț: 939.94 lei
- 18% Preț: 1173.60 lei
- 20% Preț: 1826.21 lei
- 20% Preț: 619.83 lei
- 18% Preț: 1168.67 lei
- 20% Preț: 672.30 lei
- 20% Preț: 620.98 lei
- 18% Preț: 1756.62 lei
- 20% Preț: 355.27 lei
- 20% Preț: 939.46 lei
- 20% Preț: 635.16 lei
- 20% Preț: 1823.87 lei
- 20% Preț: 942.11 lei
- Preț: 369.06 lei
- 20% Preț: 623.26 lei
- 20% Preț: 620.61 lei
- 18% Preț: 1160.44 lei
- 18% Preț: 901.73 lei
- 20% Preț: 314.63 lei
- 20% Preț: 1215.62 lei
- 20% Preț: 610.76 lei
- Preț: 375.09 lei
- 18% Preț: 1155.63 lei
- 15% Preț: 608.97 lei
- 20% Preț: 610.96 lei
- 20% Preț: 1215.04 lei
- 20% Preț: 621.29 lei
- 20% Preț: 1214.50 lei
- 20% Preț: 1822.15 lei
- 20% Preț: 343.20 lei
Preț: 944.59 lei
Preț vechi: 1180.74 lei
-20% Nou
Puncte Express: 1417
Preț estimativ în valută:
180.83€ • 197.11$ • 152.05£
180.83€ • 197.11$ • 152.05£
Carte tipărită la comandă
Livrare economică 17-31 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642634482
ISBN-10: 3642634486
Pagini: 442
Ilustrații: VII, 442 p.
Dimensiuni: 170 x 242 x 13 mm
Greutate: 0.72 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642634486
Pagini: 442
Ilustrații: VII, 442 p.
Dimensiuni: 170 x 242 x 13 mm
Greutate: 0.72 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Distributed Action Systems.- Lectures on: Classical Proofs as Programs.- Linear Logic: A Survey.- Some Proof-Theoretic Aspects of Logic Programming.- The Safety-Progress Classification.- The Polyadic ?-Calculus: A Tutorial.- An Introduction to Action Semantics.- Minimal Logic for Computable Functions.- Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack.- Four Lectures on Primitive Recursion.- Structured Specifications: Syntax, Semantics and Proof Calculus.