Programming and Mathematical Method: International Summer School: NATO ASI Subseries F:, cartea 88
Editat de Manfred Broy F. L. Bauer, E.W. Dijkstra, C.A.R. Hoareen Limba Engleză Paperback – 21 dec 2011
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ț: 621.41 lei
- 18% Preț: 1756.62 lei
- 20% Preț: 355.27 lei
- 20% Preț: 939.46 lei
- 20% Preț: 635.61 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ț: 1216.46 lei
- 20% Preț: 610.76 lei
- Preț: 375.09 lei
- 18% Preț: 1156.43 lei
- 15% Preț: 609.40 lei
- 20% Preț: 611.39 lei
- 20% Preț: 1215.04 lei
- 20% Preț: 621.73 lei
- 20% Preț: 1215.36 lei
- 20% Preț: 1822.15 lei
- 20% Preț: 343.20 lei
Preț: 620.14 lei
Preț vechi: 775.17 lei
-20% Nou
Puncte Express: 930
Preț estimativ în valută:
118.76€ • 128.52$ • 99.00£
118.76€ • 128.52$ • 99.00£
Carte tipărită la comandă
Livrare economică 09-23 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642775741
ISBN-10: 3642775748
Pagini: 424
Ilustrații: VIII, 407 p.
Dimensiuni: 170 x 242 x 22 mm
Greutate: 0.67 kg
Ediția:Softcover reprint of the original 1st ed. 1992
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642775748
Pagini: 424
Ilustrații: VIII, 407 p.
Dimensiuni: 170 x 242 x 22 mm
Greutate: 0.67 kg
Ediția:Softcover reprint of the original 1st ed. 1992
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
1. Examples of Derivations.- On the Design of a Simple Proof for Morley’s Theorem.- Well-Foundedness and the Transitive Closure.- Designing the Proof of Vizing’s Theorem.- Phase Synchronization for Two Machines.- The Lexicographic Minimum of a Cyclic Array.- 2. Rules of Programming.- Metalevel Programming in Constructive Type Theory.- Laws of Programming.- Some Applications of Pointer Algebra.- Some Generalizations and Applications of Dijkstra’s Guarded Commands.- 3 Refinement and Program Composition.- A Theoryof Program Composition.- Lectures on Data Refinement.- Refinement Alerebra Proves Correctness of Compilation.- 4 Distributed Svstems.- Process Algebra with Signals and Conditions.- Functional Specification of Time Sensitive Communicating Systems.- Systematic Derivation of Communicating Programs.