Mathematics program construction 6th (10 résultats)

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Etat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : New. In English.

Etat : As New. Unread book in perfect condition.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.- Some Results in Dynamic Model Theory.- Mathematics in Computer Science Curricula.- Contributed Papers.- Logical Relations and Galois Connections.- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.- Fine Control of Demand in Haskell.- Reasoning about Timeouts.- Eternity Variables to Simulate Specifications.- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.- Type-Indexed Data Types.- Verification of Java's AbstractCollection Class: A Case Study.- Solving Regular Path Queries.- Inverting Functions as Folds.- From Kleene Algebra to Refinement Algebra. …

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.