Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution by Robert L. Carpenter 9780521022545
Booksplease Price: £48.26This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance,... -
Free Choice Petri Nets by Jorg Desel 9780521019453
Booksplease Price: £44.32Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also... -
Two-Level Functional Languages by Flemming Nielson 9780521018470
Booksplease Price: £54.16The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes... -
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship by E. -R. Olderog 9780521018456
Booksplease Price: £48.26The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as... -
Advanced Topics in Types and Programming Languages by Benjamin C. Pierce 9780262552677
RRP: £66.75Booksplease Price: £51.27Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262552677Author Benjamin C. PierceFormat PaperbackPage Count 588Imprin -
C# Precisely by Peter Sestoft 9780262516860
RRP: £38.00Booksplease Price: £34.84Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262516860Author Peter SestoftFormat PaperbackPage Count 264Imprint -
Reactive Systems: Modelling, Specification and Verification by Luca Aceto 9780521875462
Booksplease Price: £88.90Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated... -
Concurrent and Real-Time Programming in Ada by Alan Burns 9780521866972
Booksplease Price: £83.98Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential,... -
Programming in Ada 2012: With a View Towards Ada 2022 by John Barnes 9781009181341
Booksplease Price: £94.14The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features in Ada... -
Rails - Novice to Ninja, 3e by Glenn Goodrich 9780994347008
RRP: £31.99Booksplease Price: £28.46Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780994347008Author Glenn GoodrichFormat PaperbackPage Count 542Imprint -
Constraint Handling Rules by Thom Fruhwirth 9780521877763
Booksplease Price: £55.45Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of... -
Specifying Software: A Hands-On Introduction by R.D. Tennent 9780521808149
Booksplease Price: £83.00Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of... -
The Haskell School of Expression: Learning Functional Programming through Multimedia by Paul Hudak 9780521643382
Booksplease Price: £99.73Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in... -
Predicate Transformer Semantics by Ernest G. Manes 9780521616102
Booksplease Price: £58.10A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean... -
The Pi-Calculus: A Theory of Mobile Processes by Davide Sangiorgi 9780521543279
Booksplease Price: £68.74Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet... -
Categories for Types by Roy L. Crole 9780521457019
Booksplease Price: £69.91This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set... -
C by Example by Noel Kalicharan 9780521456500
Booksplease Price: £64.99C is one of the most popular programming languages today. It is flexible, efficient and highly portable, and is used for writing many different kinds of programs, from compilers and assemblers to... -
Formal Methods in Artificial Intelligence by Allan M. Ramsay 9780521424219
Booksplease Price: £44.32Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic,... -
Computability: An Introduction to Recursive Function Theory by Nigel J. Cutland 9780521294652
Booksplease Price: £58.10What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables... -
Program Construction by R. G. Stone 9780521318839
Booksplease Price: £47.28This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the... -
Nonmonotonic Reasoning: Logical Foundations of Commonsense by Gerhard Brewka 9780521181303
Booksplease Price: £44.32In this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding principles are:... -
Recursion via Pascal by J. S. Rohl 9780521269346
Booksplease Price: £45.31This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately... -
Theories of Computability by Nicholas Pippenger 9780521153430
Booksplease Price: £48.26This book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability (created by Alan Turing and others in... -
A Practical Introduction to Denotational Semantics by L. Allison 9780521314237
Booksplease Price: £33.50This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test... -
Concurrency Verification: Introduction to Compositional and Non-compositional Methods by Willem-Paul de Roever 9780521169325
Booksplease Price: £80.55This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee... -
Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel 9780521147095
Booksplease Price: £64.00Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained... -
Data Refinement: Model-Oriented Proof Methods and their Comparison by Willem-Paul de Roever 9780521103503
Booksplease Price: £58.40The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its... -
Extensions of First-Order Logic by Maria Manzano 9780521019026
Booksplease Price: £73.16Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order... -
Mathematical Theory of Domains by Viggo Stoltenberg-Hansen 9780521064798
Booksplease Price: £57.42Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the... -
Compiling with Continuations by Andrew W. Appel 9780521033114
Booksplease Price: £87.62The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real compilers. This book shows how... -
Specifying Software: A Hands-On Introduction by R.D. Tennent 9780521004015
Booksplease Price: £45.31Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of... -
Programs, Recursion and Unbounded Choice by Wim H. Hesselink 9780521018296
Booksplease Price: £48.26This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded... -
Python from the Very Beginning: With more than 100 exercises and answers by John Whitington 9780957671157
RRP: £29.99Booksplease Price: £19.22Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780957671157Author John WhitingtonFormat PaperbackImprint -
The Ida Pro Book, 2nd Edition by Chris Eagle 9781593272890
RRP: £75.99Booksplease Price: £50.60No source code? No problem. With IDA Pro, the interactive disassembler, you live in a source code-optional world. IDA can automatically analyze the millions of opcodes that make up an executable and... -
J2EE Performance Testing with BEA WebLogic Server by Peter Zadrozny 9781590591819
RRP: £35.50Booksplease Price: £33.50Written by recognized experts in their field who work with J2EE developers on a day-to-day basis, this book provides a detailed reference that can be used to design, evaluate and understand the... -
Design a Z80 computer: A practical guide to designing a working Z80 computer system by J.S. Walker 9780995707221
RRP: £26.00Booksplease Price: £24.70Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780995707221Author J.S. WalkerFormat HardbackPage Count 450Imprint -
Java Programming Step-by-step by Tony Bevis 9780956575821
Booksplease Price: £35.85Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780956575821Author Tony BevisFormat PaperbackPage Count 508Imprint -
More OCaml: Algorithms, Methods & Diversions by John Whitington 9780957671119
Booksplease Price: £35.23Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780957671119Author John WhitingtonFormat PaperbackPage Count 218Imprint -
Higher Order Logic and Hardware Verification by T. F. Melham 9780521115322
Booksplease Price: £41.37This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware... -
JSTL: Practical Guide for JSP Programmers by Sue Spielman 9780126567557
Booksplease Price: £26.35Web developers and page authors who use JavaServer Pages (JSP) know that it is much easier and efficient to implement web pages without reinventing the wheel each time. In order to shave valuable...