Normal view MARC view ISBD view

Temporal Logic Mathematical Foundations and Computiona Aspects vol.2

Gabbay,dove m/Reynolds,mark,

Temporal Logic Mathematical Foundations and Computiona Aspects vol.2 - Vol.2, 596p - oxford logic guides 40 .

ISBN: 0-19-853768-9

Subjects--Topical Terms:
COMPUTER programming

LC Class. No.: QA9.G32.2003

Place hold
Print
Cite
Send to device
More searches

Search for this title in:
Find same title in Google Scholar