004.0151
Bj�rner, Dines.
Software Engineering 2 : Specification of Systems and Languages / [electronic resource] : / by Dines Bj�rner. 1 .- XXIV, 780 p. 151 illus.. online resource. ** Texts in Theoretical Computer Science An EATCS Series0 )
LC Class. No.: QA75.5-76.95 - Texts in Theoretical Computer Science An EATCS Series40 .
ISBN: 9783540331933
Standard No.: 10.1007/978-3-540-33193-3 doi
Subject Headings:
Computer science. 0;
Software engineering. 0;
Computer programming. 0;
Programming languages (Electronic computers). 0;
Computers. 0;
Computer logic.14;
Computer Science.24;
Theory of Computation.24;
Software Engineering/Programming and Operating Systems.24;
Programming Languages, Compilers, Interpreters.24;
Software Engineering.24;
Programming Techniques.24;
Logics and Meanings of Programs.2 ;
Copy Details:
Acc. No.: EBK440, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------