Hesselink wim (30 resultados)

Condición: New. pp. 296 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condición: New. pp. 296.

Paperback. Condición: Very Good. Not Issued. Trade paperback. Square Tight Binding.Clean interior save for p/o signature to top of inside of front wrap. Mild edge wear to wraps.

Condición: New. pp. 296.

Condición: 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.

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Soft cover. Condición: As New. No Jacket. 1st Edition. Edition not stated 1987, presumed first, (Lecture Notes in Mathematics 1271). English language. Softcover no DJ as issued. Condition as new, square and tight book, spine not creased, no names, no underlinings, no highlights, Not a reminder. 8vo, 284 pages. …

Hardcover. Condición: Very good +. Cambridge Tracts in Theoretical Computer Science 27.ix, 223 cm. 26 cm. Signature and ink stamp on first leaf.

Paperback. Condición: Very Good. Estado de la sobrecubierta: No d/j as Published. Type: Book N.B. Small plain label to ffep.

Condición: As New. Unread book in perfect condition.

Condición: New.

Softcover. Condición: Gut. 1st ed. 1987. VIII, 288 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library in GOOD condition with library-signature and stamp(s). Some traces of use. R-16663 3540182349 Sprache: Englisch Gewicht in Gramm: 550.

Condición: New.

Condición: New. A complete account of the predicate transformation calculus semantics of sequential programs. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 240 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 390. . 2008. paperback. . . . .…

Paperback. Condición: Brand New. 1st edition. 292 pages. 9.25x6.10x0.67 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Netherlands, in celebration of the 350th birthday of the University and the 60th of T.A. Springer. Recognized leaders in the field of algebraic groups and related areas gave lectures which covered wide and central areas of mathematics. Though the fourteen papers in this volume are mostly original research contributions, some survey articles are included. Centering on the Symposium subject, such diverse topics are covered as Discrete Subgroups of Lie Groups, Invariant Theory, D-modules, Lie Algebras, Special Functions, Group Actions on Varieties.…

Condición: New. pp. 240.

Condición: New. A complete account of the predicate transformation calculus semantics of sequential programs. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 240 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 390. . 2008. paperback. . . . . Books ship from the US and Ireland.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.…

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Netherlands, in celebration of the 350th birthday of the University and the 60th of T.A. Springer. Recognized leaders in the field of algebraic groups and related areas gave lectures which covered wide and central areas of mathematics. Though the fourteen papers in this volume are mostly original research contributions, some survey articles are included. Centering on the Symposium subject, such diverse topics are covered as Discrete Subgroups of Lie Groups, Invariant Theory, D-modules, Lie Algebras, Special Functions, Group Actions on Varieties.…

Condición: As New.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Netherlands, in celebration of the 350th birthday of the University and the 60th of T.A. Springer. Recognized leaders in the field of algebraic groups and related areas gave lectures which covered wide and central areas of mathematics. Though the fourteen papers in this volume are mostly original research contributions, some survey articles are included. Centering on the Symposium subject, such diverse topics are covered as Discrete Subgroups of Lie Groups, Invariant Theory, D-modules, Lie Algebras, Special Functions, Group Actions on Varieties. 296 pp. Englisch. …

PF. Condición: 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.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Netherlands, in celebration of the 350th birthday of the University and the 60th of T.A. Springer. Recognized leaders in the field of algebraic groups and related. …

Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Condición: New. Print on Demand pp. 240 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Netherlands, in celebration of the 350th birthday of the University and the 60th of T.A. Springer. Recognized leaders in the field of algebraic groups and related areas gave lectures which covered wide and central areas of mathematics. Though the fourteen papers in this volume are mostly original research contributions, some survey articles are included. Centering on the Symposium subject, such diverse topics are covered as Discrete Subgroups of Lie Groups, Invariant Theory, D-modules, Lie Algebras, Special Functions, Group Actions on Varieties.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 296 pp. Englisch.…

Condición: New. PRINT ON DEMAND pp. 240.

Paperback. Condición: new. Paperback. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs. A complete account of the predicate transformation calculus semantics of sequential programs. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A complete account of the predicate transformation calculus semantics of sequential programs.InhaltsverzeichnisList of symbols Introduction 1. Weakest preconditions 2. Annotation, recursion and repetition 3. Healthiness laws 4. . …