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
ISBN 10: 1475762984 ISBN 13: 9781475762983
Published by Springer, 2013
New
Soft cover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 25 March 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9781475762983_new
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Programming Concepts and Methods PROCOMET '...
Publisher: Springer
Publication Date: 2013
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Programming Concepts and Methods Procomet '98
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475762983
Buy New
£ 45.45
£ 5.02 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Programming Concepts and Methods Procomet '98
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475762983