Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Condizione: good. This book is in good condition, with minimal signs of wear and tear.
EUR 11,60
Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: As New. Shelf wear only.
Paperback. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
Editore: Springer-Verlag New York Inc, 2008
ISBN 10: 1848001207 ISBN 13: 9781848001206
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 53,54
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 346 pages. 9.50x7.25x0.75 inches. In Stock.
Condizione: New. SUPER FAST SHIPPING.
Condizione: New.
Condizione: New.
Paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
Condizione: As New. Unread book in perfect condition.
EUR 75,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 75,18
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 74,43
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 84,91
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 364 1st Edition.
Da: preigu, Osnabrück, Germania
EUR 66,85
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Introduction to Languages, Machines and Logic | Computable Languages, Abstract Machines and Formal Logic | Alan P. Parkes | Taschenbuch | xi | Englisch | 2002 | Springer London | EAN 9781852334642 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Editore: Springer London, Springer London, 2002
ISBN 10: 1852334649 ISBN 13: 9781852334642
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 79,72
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1.1 Overview This chapter briefly describes: - what this book is about - what this book tries to do - what this book tries not to do - a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan guages, abstract machines, and logic. Computable languages are related to what are usually known as 'formal lan guages'. I avoid using the latter phrase here because later on in the book I distin guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).
EUR 132,50
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 74,85
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. It is written in an easy-to-read, informal style and assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical and features: - Clear explanations of formal notation and jargon - Extensive use of examples to illustrate algorithms and proofs - Pictorial representations of key concepts - Lots of end-of-chapter exercises Introduction to Languages, Machines and Logic is suitable for use on courses covering formal languages, formal logic, computability and automata theory. It will also make an excellent supplementary text for courses on algorithm complexity and compilers. 364 pp. Englisch.
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 89,81
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 644.
Da: Majestic Books, Hounslow, Regno Unito
EUR 109,27
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 364 Illus.
Da: moluna, Greven, Germania
EUR 64,31
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. AN INFORMAL AND ACCESSIBLE INTRODUCTION TO POTENTIALLY INTIMIDATING CONCEPTS READER-FRIENDLY, NON-MATHEMATICAL PRESENTATION INCLUDES NUMEROUS EXERCISES (MANY WITH SOLUTIONS) AND AN EXTENSIVE GLOSSARYAN INFORMAL AND ACCESSIBLE INTRODUCTION TO POTENTIA.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 109,75
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 364.
Editore: Springer London, Springer London Apr 2002, 2002
ISBN 10: 1852334649 ISBN 13: 9781852334642
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 74,85
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1.1 Overview This chapter briefly describes: ¿ what this book is about ¿ what this book tries to do ¿ what this book tries not to do ¿ a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan guages, abstract machines, and logic. Computable languages are related to what are usually known as 'formal lan guages'. I avoid using the latter phrase here because later on in the book I distin guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.