Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Logical Frameworks by Gerard Huet 9780521413008
Booksplease Price: £94.81This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in... -
Logic and Information by Keith Devlin 9780521410304
Booksplease Price: £102.51Intelligence can be characterised both as the ability to absorb and process information and as the ability to reason. Humans and other animals have both of these abilities to a greater or lesser... -
The Clausal Theory of Types by D. A. Wolfram 9780521395380
Booksplease Price: £64.99Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of... -
Illustrating FORTRAN by Donald G. Alcock 9780521288101
Booksplease Price: £33.50Fortran is a computer language that has been around for a quarter of a century, and is still much used despite predictions throughout its life that it would be replaced by more elegant languages. But... -
Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel 9780521197465
Booksplease Price: £94.81Structural 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... -
Lambda-calculus, Combinators and Functional Programming by Gyorgy E. Revesz 9780521114295
Booksplease Price: £56.13Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is... -
The Clausal Theory of Types by D. A. Wolfram 9780521117906
Booksplease Price: £30.55Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of... -
Domains and Lambda-Calculi by Roberto M. Amadio 9780521062923
Booksplease Price: £60.37This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a... -
The B-Book: Assigning Programs to Meanings by J-.R. Abrial 9780521021753
Booksplease Price: £105.99The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical... -
Understanding Z: A Specification Language and its Formal Semantics by J.M. Spivey 9780521054140
Booksplease Price: £39.40Sorry no description is available for this book at this time. -
Algebraic Specification of Communication Protocols by Sjouke Mauw 9780521088121
Booksplease Price: £46.29Modern computer networks now circle the world, but the transmission of information between them depends on the many different protocols that define the behaviour of the sender and receiver. It is... -
The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel 9780262731034
Booksplease Price: £72.04Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262731034Author Glynn WinskelFormat PaperbackPage Count 384Imprint -
Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 9780521898850
Booksplease Price: £72.18Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as... -
Concepts in Programming Languages by John C. Mitchell 9780521780988
Booksplease Price: £79.56For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and... -
Higher Order Operational Techniques in Semantics by Andrew D. Gordon 9780521631686
Booksplease Price: £94.81Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This 1998 book contains a... -
Formal Semantics and Pragmatics for Natural Language Querying by James Clifford 9780521602747
Booksplease Price: £48.26This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time... -
Topology via Logic by Steven Vickers 9780521576512
Booksplease Price: £54.16Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial... -
The Way of Z: Practical Programming with Formal Methods by Jonathan Jacky 9780521559768
Booksplease Price: £63.32This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in... -
Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore 9780521602778
Booksplease Price: £44.32Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical... -
The Muse Method for Usability Engineering by Kee Yong Lim 9780521479998
Booksplease Price: £61.05When this book was first published, recent aspects of human factors research had led to methodologies that integrated usability into the development of interactive systems. MUSE was one of the... -
Specification and Proof in Real Time CSP by Jim Davies 9780521450553
Booksplease Price: £118.08This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example,... -
Formal Methods in Human-Computer Interaction by Michael D. Harrison 9780521448673
Booksplease Price: £48.26First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously... -
Formal Specification and Design by L. M. G. Feijs 9780521435925
Booksplease Price: £51.21Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic... -
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship by E. -R. Olderog 9780521400442
Booksplease Price: £118.38The 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... -
Categories and Computer Science by R. F. C. Walters 9780521419970
Booksplease Price: £85.65Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer... -
Nonmonotonic Reasoning: Logical Foundations of Commonsense by Gerhard Brewka 9780521383943
Booksplease Price: £71.88In 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:... -
Illustrating Pascal by Donald G. Alcock 9780521336956
Booksplease Price: £43.34This book, written entirely by hand, is an introduction to programming in Pascal. It starts with the fundamental concept of a stored program and works through to the manipulation of records in... -
Illustrating BBC Basic by Donald G. Alcock 9780521314954
Booksplease Price: £47.28This book may be used as a self-contained manual for BBC-BASIC, the main language of the BBC Microcomputer and Master Series Computers. Information is presented in a form handy for reference. Page... -
BCPL: The Language and its Compiler by Martin Richards 9780521286817
Booksplease Price: £50.23BCPL is a simple systems programming language with a portable compiler that has been implemented on many machines from large mainframes to mini computers and microprocessors. The book provides an... -
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches by Howard Bowman 9780521168755
Booksplease Price: £51.51Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the... -
Foundations of Component-Based Systems by Gary T. Leavens 9780521155694
Booksplease Price: £55.45This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers... -
Theories of Programming Languages by John C. Reynolds 9780521106979
Booksplease Price: £66.27First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying... -
Information Flow: The Logic of Distributed Systems by Jon Barwise 9780521070997
Booksplease Price: £60.07Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it... -
We Built Our Own Computers by A. B. Bolt 9780521093781
Booksplease Price: £48.26First published in 1966, We Built our own Computers was written to share the skill and enthusiasm of the students with others. At the time of original publication there were already many popular... -
The Uncertain Reasoner's Companion: A Mathematical Perspective by J. B. Paris 9780521032728
Booksplease Price: £50.23Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical... -
Theoretical Foundations of VLSI Design by K. McEvoy 9780521545655
Booksplease Price: £52.50This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very... -
Basic Simple Type Theory by J. Roger Hindley 9780521465182
Booksplease Price: £108.16Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat... -
Parallel Programming Using C++ by Gregory V. Wilson 9780262731188
Booksplease Price: £61.94Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262731188Author Gregory V. WilsonFormat PaperbackPage Count 760Imprint -
Applications of Process Algebra by J. C. M. Baeten 9780521607506
Booksplease Price: £93.82This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic... -
Deductive and Declarative Programming by Peter Padawitz 9780521032513
Booksplease Price: £48.26Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in...