Verification of Sequential and Concurrent Programs
Record details
- ISBN: 9781848827455
- Physical Description: XXIV, 502p. 26 illus. online resource.
- Publisher: London : Springer London, 2009.
Search for related items by subject
Subject: | Computer science. Logic design. Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. |