Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson.
By: Bjørner, Dines.
Contributor(s): Henson, Martin C | SpringerLink (Online service).
Material type: BookSeries: Monographs in Theoretical Computer Science, An EATCS Series.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540741077.Subject(s): Computer science | Software engineering | Information theory | Logic design | Computer Science | Mathematical Logic and Formal Languages | Software Engineering | Logics and Meanings of Programs | Theory of ComputationDDC classification: 005.131 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.