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
Description
Item Description:Electronic resource.
Physical Description:xxiv, 777 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [751]-777) and indexes.
ISBN:354033193X
9783540331933
DOI:10.1007/978-3-540-33193-3