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
Search Result 1
Cover Image
by Partsch, Helmut A., 1950-
Published 1990
Book
Show all versions (2)