Programming Concepts and Methods PROCOMET '98

97 290,00 Ft
+ 2 899,00 Ft szállítási költség

Programming Concepts and Methods PROCOMET '98

  • Márka: Unbranded
Értékesítő:

Programming Concepts and Methods PROCOMET '98

  • Márka: Unbranded

97 290,00 Ft

Készleten
+ 2 899,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Értékesítő:

97 290,00 Ft

Készleten
+ 2 899,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Fizetési módok:

Leírás

Programming Concepts and Methods PROCOMET '98

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. Language: English
  • Márka: Unbranded
  • Kategória: Számítástechnika és internet
  • Művész: David Gries
  • Lapok száma: 486
  • Nyelv: English
  • Formátum: Paperback
  • Kiadás dátuma: 2013/01/22
  • Kiadó / Címke: Springer
  • Fruugo azonosító: 450893352-950604171
  • ISBN: 9781475762990

Kiszállítás és visszaküldés

Kiküldés 6 napon belül

  • STANDARD: 2 899,00 Ft - közötti szállítás Sze 14 január 2026–H 19 január 2026

Szállítás innen: Egyesült Királyság.

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét. Teljes visszaküldési irányelvek megtekintése.