Coverart for item
The Resource Foundations of algebraic specification and formal software development, Donald Sannella, Andrzej Tarlecki, (electronic book)

Foundations of algebraic specification and formal software development, Donald Sannella, Andrzej Tarlecki, (electronic book)

Label
Foundations of algebraic specification and formal software development
Title
Foundations of algebraic specification and formal software development
Statement of responsibility
Donald Sannella, Andrzej Tarlecki
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorDate
1956-
http://library.link/vocab/creatorName
Sannella, D.
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.M35
LC item number
S26 2012
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Tarlecki, Andrzej
Series statement
Monographs in theoretical computer science. An EATCS Series,
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Computer software
  • Formal methods (Computer science)
Label
Foundations of algebraic specification and formal software development, Donald Sannella, Andrzej Tarlecki, (electronic book)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and indexes
Color
multicolored
Control code
SPR773061550
Dimensions
unknown
Extent
1 online resource (xvi, 581 p.)
File format
unknown
Form of item
electronic
Isbn
9783642173356
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Foundations of algebraic specification and formal software development, Donald Sannella, Andrzej Tarlecki, (electronic book)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and indexes
Color
multicolored
Control code
SPR773061550
Dimensions
unknown
Extent
1 online resource (xvi, 581 p.)
File format
unknown
Form of item
electronic
Isbn
9783642173356
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations