Intelligent Systems / Altran UK
Create Library
Login
Home
Catalog
Search Catalog
Database A-Z
Top Collections
New Collections
My Account
Ask a Librarian?
Search
All
Audio/Visuals
Books
E-Books
E-Journals
Journals
News Clippings
Other
Publications
References
Software
Thesis
Default
Id
Title
Call No
ISBN
ISSN
ASIN
LCCN
DDC
OCLC
UPC
Author
Publisher
Category
Tags
Subject
Abstract
Description
Clear
Tag:
Mathematics
[
All
]
Page 1 of 1
Title
Authors/Editors
Publisher
Type
Copies
A Discipline of Programming
Year
:
1976
ISBN
:
013215871X
ISBN 13
:
9780132158718
Edsger W. Dijkstra
Prentice Hall, Inc.
Books
1
Introduction Formal Specification And Z (2nd Edition)
Edition
:
2
Year
:
1996
ISBN
:
0132422077
ISBN 13
:
9780132422079
Ben Potter
Jane Sinclair
David Till
Prentice Hall
Books
1
Object-oriented Software Construction (Prentice Hall International Series in Computing Science)
Year
:
1988
ISBN
:
0136290310
ISBN 13
:
9780136290315
Bertrand Meyer
Prentice-Hall
Books
1
Principles of Programming Languages (Prentice Hall International Series in Computing Science)
Year
:
1981
ISBN
:
0137098731
ISBN 13
:
9780137098736
R. D. Tennent
Prentice Hall
Books
1
Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, ... (Lecture Notes in Computer Science)
Edition
:
2004
Year
:
2004
ISBN
:
3540220119
ISBN 13
:
9783540220114
Springer
Books
1
Software Engineer's Reference Book
Year
:
1990
ISBN
:
0750610409
ISBN 13
:
9780750610407
Butterworth-Heinemann
Books
1
The C++ Programming Language (3rd Edition)
Edition
:
3
Year
:
1997
ISBN
:
0201889544
ISBN 13
:
9780201889543
Bjarne Stroustrup
Addison-Wesley Professional
Books
1
The Science of Programming (Monographs in Computer Science)
Year
:
1987
ISBN
:
038790641X
ISBN 13
:
9780387906416
David Gries
Springer
Books
1
Theory and Practice of Concurrency
Edition
:
1
Year
:
1997
ISBN
:
0136744095
ISBN 13
:
9780136744092
A. Roscoe
Prentice Hall
Books
1