Software engineering. 2, Specification of systems and languages /

Bibliographic Details
Main Author: Bjørner, D. (Dines), 1937-
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin : Springer-Verlag, 2006.
Series:Texts in theoretical computer science . An EATCS series.
Subjects:
Online Access:Connect to the full text of this electronic book

Similar Items