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) | 969.38 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 14 apr 2014 | 969.38 lei 6-8 săpt. | |
Hardback (1) | 972.60 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 5 iul 1993 | 972.60 lei 6-8 săpt. |
Din seria NATO ASI Subseries F:
- 20% Preț: 631.63 lei
- 20% Preț: 649.39 lei
- 20% Preț: 963.94 lei
- 18% Preț: 1203.59 lei
- 20% Preț: 1872.97 lei
- 20% Preț: 635.63 lei
- 18% Preț: 1198.55 lei
- 20% Preț: 689.45 lei
- 20% Preț: 637.25 lei
- 18% Preț: 1801.57 lei
- 20% Preț: 364.28 lei
- 20% Preț: 963.46 lei
- 20% Preț: 651.79 lei
- 20% Preț: 1870.55 lei
- 20% Preț: 966.18 lei
- Preț: 378.41 lei
- 20% Preț: 639.16 lei
- 20% Preț: 636.44 lei
- 18% Preț: 1190.12 lei
- 18% Preț: 924.77 lei
- 20% Preț: 322.60 lei
- 20% Preț: 1247.57 lei
- 20% Preț: 626.33 lei
- Preț: 384.58 lei
- 18% Preț: 1186.00 lei
- 15% Preț: 624.92 lei
- 20% Preț: 626.97 lei
- 20% Preț: 1246.12 lei
- 20% Preț: 637.57 lei
- 20% Preț: 1246.43 lei
- 20% Preț: 1868.79 lei
- 20% Preț: 351.91 lei
Preț: 969.38 lei
Preț vechi: 1211.73 lei
-20% Nou
Puncte Express: 1454
Preț estimativ în valută:
185.54€ • 193.38$ • 154.45£
185.54€ • 193.38$ • 154.45£
Carte tipărită la comandă
Livrare economică 04-18 ianuarie 25
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.