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:
Reference
[
All
]
Page 1 of 2
Title
Authors/Editors
Publisher
Type
Copies
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
The Science of Programming (Monographs in Computer Science)
Year
:
1987
ISBN
:
038790641X
ISBN 13
:
9780387906416
David Gries
Springer
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
Object-oriented Software Construction (Prentice Hall International Series in Computing Science)
Year
:
1988
ISBN
:
0136290310
ISBN 13
:
9780136290315
Bertrand Meyer
Prentice-Hall
Books
1
A Discipline of Programming
Year
:
1976
ISBN
:
013215871X
ISBN 13
:
9780132158718
Edsger W. Dijkstra
Prentice Hall, Inc.
Books
1
Estimating Software Costs: Bringing Realism to Estimating
Edition
:
2
Year
:
2007
ISBN
:
0071483004
ISBN 13
:
9780071483001
Capers Jones
McGraw-Hill Osborne Media
Books
1
Theory and Practice of Concurrency
Edition
:
1
Year
:
1997
ISBN
:
0136744095
ISBN 13
:
9780136744092
A. Roscoe
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
Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, ... / Programming and Software Engineering)
Edition
:
2005
Year
:
2005
ISBN
:
3540262865
ISBN 13
:
9783540262862
Springer
Books
1
Managing Software Quality and Business Risk (Rights of Children)
Edition
:
1
Year
:
1999
ISBN
:
047199782X
ISBN 13
:
9780471997825
Martyn A. Ould
Wiley
Books
1
1
2