Normal view
MARC view
Logics of Specification Languages Электронный ресурс edited by Dines Bjørner, Martin C. Henson.
Material type:
Computer fileSeries: Monographs in Theoretical Computer Science, An EATCS SeriesPublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540741077Subject(s): Computer Science | Information theory | Logic design | Software engineering | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Software Engineering | Theory of ComputationOnline resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments on this title.