<<The>> logic of the RAISE specification language

Bibliographic Details
Main Authors:	George, Chris (Author), Haxthausen, Anne E. (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Fotogr.
ISSN:	1335-9150
Subjects:	softvér > vývoj > RAISE (metóda) RSL (jazyk) > logika > sémantika > dokazovanie jazyky špecifikačné články z novín a časopisov

Similar Items

On the logic of TLA+
by: Merz, Stephan

Foreword
by: Bjorner, Dines