Selected Writings on Computing: A personal Perspective
Edsger W. Dijkstra
Download - Immediately Available
Format: eBook (PDF)
A Programming Approach to Computability
A.J. Kfoury
Download - Immediately Available
Format: eBook (PDF)
Automata-Theoretic Aspects of Formal Power Series
Arto Salomaa
Download - Immediately Available
Format: eBook (PDF)
The Design of Well-Structured and Correct Programs
Suad Alagic
Download - Immediately Available
Format: eBook (PDF)
Programming Methodology : A Collection of Articles by Members of IFIP WG2.3
David Gries
Download - Immediately Available
Format: eBook (PDF)
A Practical Theory of Programming
Eric C.R. Hehner
Item not Available
Format: Book (Paperback / softback)
£76.50
£63.09
Item not Available
Book (Paperback / softback)
£139.99
£120.55
Item not Available
Book (Paperback / softback)
Active Rules in Database Systems
Norman W. Paton
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Expert Systems and Probabilistic Network Models
Enrique Castillo
Item not Available
Format: Book (Paperback / softback)
£105.50
£91.79
Item not Available
Book (Paperback / softback)
ML with Concurrency : Design, Analysis, Implementation, and Application
Flemming Nielson
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Larch: Languages and Tools for Formal Specification
John V. Guttag
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
£139.99
£120.95
Item not Available
Book (Paperback / softback)
Beauty Is Our Business : A Birthday Salute to Edsger W. Dijkstra
W.H.J. Feijen
Item not Available
Format: Book (Paperback / softback)
£149.99
£129.45
Item not Available
Book (Paperback / softback)
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
Manfred Broy
Download - Immediately Available
Format: eBook (PDF)
A Basis for Theoretical Computer Science
M.A. Arbib
Download - Immediately Available
Format: eBook (PDF)
Programming with Sets : An Introduction to SETL
J.T. Schwartz
Download - Immediately Available
Format: eBook (PDF)
Programming with Sets : An Introduction to SETL
J.T. Schwartz
Item not Available
Format: Book (Paperback / softback)
£105.50
£91.79
Item not Available
Book (Paperback / softback)
An Introduction to Formal Language Theory
Robert N. Moll
Download - Immediately Available
Format: eBook (PDF)
An Introduction to Formal Language Theory
Robert N. Moll
Item not Available
Format: Book (Paperback / softback)
£69.99
£57.89
Item not Available
Book (Paperback / softback)
The Synthesizer Generator : A System for Constructing Language-Based Editors
Thomas W. Reps
Download - Immediately Available
Format: eBook (PDF)
The Synthesizer Generator Reference Manual
Thomas W. Reps
Download - Immediately Available
Format: eBook (PDF)