Mathematical Methods in Program Development: NATO ASI Subseries F:, cartea 158
Editat de Manfred Broy, Birgit Schiederen Limba Engleză Paperback – 6 oct 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ț: 623.26 lei
Preț vechi: 779.08 lei
-20% Nou
Puncte Express: 935
Preț estimativ în valută:
119.36€ • 129.17$ • 99.50£
119.36€ • 129.17$ • 99.50£
Carte tipărită la comandă
Livrare economică 09-23 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642645884
ISBN-10: 3642645887
Pagini: 552
Ilustrații: X, 528 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.76 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: 3642645887
Pagini: 552
Ilustrații: X, 528 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.76 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
Eliminating the Chaff—Again: Banquet Speech at Marktoberdorf 1996.- Envoi at Marktoberdorf 1996.- 0. Designing Proofs and Programs.- Heuristics for a Very Simple Euclidean Proof (EWD1180).- Complete DAGs (EWD1204).- A Result of Rabbit Removal (EWD1208).- For the Record: Painting the Squared Plane (EWD1212).- The Marriage Agency (EWD1214).- Courtesy Dr. Birgit Schieder (EWD1215).- WLOG, or the Misery of the Unordered Pair (EWD1223).- My Simplest Theorem (EWD1232).- The Transitive Closure of a Wellfounded Relation (EWD1241).- The Formula for sin. (a + /?) (EWD1244a).- A Kind of Converse of Leibniz’s Principle (EWD1245).- The Strengths of the Academic Enterprise (EWD1175).- On a Method for the Formal Design of Multiprograms.- Foundations for Calculational Logic.- 1. Examples of Protocol Design.- Specification and Design of a Transmission Protocol by Successive Refinements Using B.- Formal Derivation of a Protocol in CSP.- 2. Languages and Models for Program Design.- Genesis of Algorithmic Languages.- Mathematical Methods in System and Software Engineering.- Unified Theories of Programming.- 3. Programming Paradigms.- On the Relationship Between Classes, Objects and Data Abstraction.- The Oz Programming Model.- A Foundation for Higher-order Concurrent Constraint Programming.- 4. Mechanical Proof Assistance.- Tool Support for Logics of Programs.- Machine-Assisted Verification Using Theorem Proving and Model Checking.