Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA: IFIP Advances in Information and Communication Technology
Editat de David Gries, Willem-Paul de Roeveren Limba Engleză Hardback – 31 mai 1998
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 1213.81 lei 6-8 săpt. | |
Springer Us – 22 ian 2013 | 1213.81 lei 6-8 săpt. | |
Hardback (1) | 1219.90 lei 6-8 săpt. | |
Springer Us – 31 mai 1998 | 1219.90 lei 6-8 săpt. |
Din seria IFIP Advances in Information and Communication Technology
- 20% Preț: 170.51 lei
- 20% Preț: 615.74 lei
- 20% Preț: 322.44 lei
- Preț: 376.53 lei
- 20% Preț: 318.38 lei
- 20% Preț: 323.07 lei
- 20% Preț: 503.41 lei
- 17% Preț: 523.40 lei
- 20% Preț: 502.06 lei
- 17% Preț: 488.96 lei
- 20% Preț: 1162.12 lei
- 18% Preț: 1162.27 lei
- 20% Preț: 1220.04 lei
- 20% Preț: 1214.12 lei
- 18% Preț: 1159.39 lei
- 18% Preț: 902.62 lei
- 18% Preț: 902.79 lei
- 18% Preț: 895.02 lei
- 18% Preț: 898.15 lei
- 15% Preț: 611.40 lei
- 18% Preț: 909.34 lei
- 20% Preț: 945.86 lei
- 18% Preț: 899.03 lei
- 20% Preț: 1215.84 lei
- 20% Preț: 943.22 lei
- 15% Preț: 611.72 lei
- 20% Preț: 1209.12 lei
- 20% Preț: 1821.05 lei
- 20% Preț: 1217.86 lei
- 18% Preț: 906.09 lei
- 18% Preț: 896.67 lei
- 18% Preț: 1159.56 lei
- 20% Preț: 1210.22 lei
- 18% Preț: 902.62 lei
- 18% Preț: 897.86 lei
- 20% Preț: 1224.11 lei
- 18% Preț: 905.63 lei
- 20% Preț: 611.70 lei
- 18% Preț: 1169.87 lei
- 20% Preț: 1216.46 lei
- 20% Preț: 940.57 lei
- 18% Preț: 1165.84 lei
- 20% Preț: 1220.69 lei
- 20% Preț: 934.94 lei
- 18% Preț: 1736.16 lei
- 20% Preț: 1223.79 lei
- 18% Preț: 905.32 lei
- 20% Preț: 1218.01 lei
Preț: 1219.90 lei
Preț vechi: 1524.87 lei
-20% Nou
Puncte Express: 1830
Preț estimativ în valută:
233.65€ • 253.31$ • 194.23£
233.65€ • 253.31$ • 194.23£
Carte tipărită la comandă
Livrare economică 02-16 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780412837609
ISBN-10: 0412837609
Pagini: 486
Ilustrații: X, 486 p.
Dimensiuni: 156 x 234 x 27 mm
Greutate: 0.87 kg
Ediția:1998
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
ISBN-10: 0412837609
Pagini: 486
Ilustrații: X, 486 p.
Dimensiuni: 156 x 234 x 27 mm
Greutate: 0.87 kg
Ediția:1998
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1 Invited lecture Extended static checking.- 2 Invited lecture From lattices to practical formal hardware verification.- 3 Invited lecture Programming with tabling in XSB.- 4 Invited lecture Verifying electronic control units: today and tomorrow.- 5 Educational session Teaching calculational logic.- 6 Types for trees.- 7 Structures for lazy semantics.- 8 A proof theory of asynchronously communicating sequential processes.- 9 Bisimulations in the join-calculus.- 10 Using state space exploration and a natural deduction style message derivation engine to verify security protocols.- 11 Programming language semantics in foundational type theory.- 12 An algebraic approach to the specification of stochastic systems.- 13 Refinement types for specification.- 14 An extension of the program derivation format.- 15 Deadlines are termination.- 16 The design of a linearization of a concurrent data object.- 17 Final semantics for the pi-calculus.- 18 Comparing CTL and PCTL on labeled Markov chains.- 19 Reactive functional programming.- 20 Imperative objects and mobile processes.- 21 Relating linear and branching model checking.- 22 Verifying duration properties of timed transition systems.- 23 Towards squiggly refinement algebra.- 24 Towards a theory of sequential hybrid programs.- 25 Test selection for object-oriented software based on formal specifications.- 26 Logical foundations for typed object-oriented languages.- 27 Verifying a self-stabilizing mutual exclusion algorithm.- 28 A combination of interval logic and linear temporal logic.- 29 A model of real-time distributed systems.- Index of contributors.- Keyword index.