005.131
Logics of Specification Languages [electronic resource] / / edited by Dines Bjørner, Martin C. Henson. .- XXII, 624 p. 69 illus.. online resource. ** Monographs in Theoretical Computer Science, An EATCS Series, 1431-2654 )
QA8.9-QA10.3 - Monographs in Theoretical Computer Science, An EATCS Series, .
ISBN: 9783540741077
10.1007/978-3-540-74107-7 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Mathematical logic.;
Computer Science.;
Mathematical Logic and Formal Languages.;
Software Engineering.;
Logics and Meanings of Programs.;
Theory of Computation.;
Author Added Entry:
Bjørner, Dines.;
Henson, Martin C.;
Copy Details:
Acc. No.: EBK3142, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Logics of Specification Languages [electronic resource] / / edited by Dines Bjørner, Martin C. Henson. .- XXII, 624 p. 69 illus.. online resource. ** Monographs in Theoretical Computer Science, An EATCS Series, 1431-2654 )
QA8.9-QA10.3 - Monographs in Theoretical Computer Science, An EATCS Series, .
ISBN: 9783540741077
10.1007/978-3-540-74107-7 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Mathematical logic.;
Computer Science.;
Mathematical Logic and Formal Languages.;
Software Engineering.;
Logics and Meanings of Programs.;
Theory of Computation.;
Author Added Entry:
Bjørner, Dines.;
Henson, Martin C.;
Copy Details:
Acc. No.: EBK3142, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------