Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 114,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 114,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 114,51
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 129,93
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 127,54
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. 2012. Paperback. . . . . .
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 132,21
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. 1994. 1994th Edition. hardcover. . . . . .
Condizione: New. 2012. Paperback. . . . . . Books ship from the US and Ireland.
Condizione: New. 1994. 1994th Edition. hardcover. . . . . . Books ship from the US and Ireland.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 161,98
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 152,46
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
Lingua: Inglese
Editore: Birkhäuser Boston, Birkhäuser Boston, 1994
ISBN 10: 0817637672 ISBN 13: 9780817637675
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 114,36
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be completely determined algorithmically. Typical examples are: 1. the Meyer-Ritchie LOOP language [MR67,DW83], a restricted assem bly language with bounded loops as the only allowed deviation from straight-line programming; 2. multi-tape 'lUring Machines each explicitly clocked to halt within a time bound given by some polynomial in the length ofthe input (see [BH79,HB79]); 3. the set of seemingly unrestricted programs for which one can prove 1 termination on all inputs (see [Kre51,Kre58,Ros84]); and 4. finite state and pushdown automata from formal language theory (see [HU79]). lOr, more precisely, the collection of programs, p, ofsome particular general-purpose programming language (e.g., Lisp or Modula-2) for which there is a proof in some par ticular formal system (e.g., Peano Arithmetic) that p halts on all inputs.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 184,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 181,04
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: preigu, Osnabrück, Germania
EUR 95,70
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Subrecursive Programming Systems | Complexity & Succinctness | John Case (u. a.) | Buch | viii | Englisch | 1994 | Birkhäuser Boston | EAN 9780817637675 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.