Electronic resources
Record details
- ISBN: 9780857292773
-
Physical Description:
electronic
electronic resource
access
remote
XXV, 644p. digital. - Edition: 2nd Edition.
- Publisher: London : Springer London, 2011.
Search for related items by subject
Subject: | Computer science Software engineering Logic design Computer Science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |