Cover Image

Specification and Transformation of Programs : a Formal Approach to Software Development /

Show other versions (1)
Bibliographic Details
Main Author: Partsch, Helmut A.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Series:Texts and monographs in computer science.
Subjects:
Computer science.
Software engineering.
Data structures (Computer science)
Logic design.
Artificial intelligence.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xiii, 493 pages 44 illustrations)
ISBN:9783642615122 (electronic bk.)
3642615120 (electronic bk.)
ISSN:0172-603X