Variable binding operators in transition system specifications
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING ; 47 ; 15-45
2001-01-01
31 pages
Article (Journal)
English
DDC: | 005.115 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Twin Otter Operators' Forum sees Viking detail new-production aircraft specifications
Emerald Group Publishing | 2007
Engineering Index Backfile | 1929
Engineering Index Backfile | 1929
Engineering Index Backfile | 1932
Engineering Index Backfile | 1929