A. Pnueli

A. P. · Amir Pnueli

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics978-3-54O-18657-1
(3-54O-18657-3)
2008W. Brauer · N. Wirth · C. Moler · G. Seegm??ller

A. Poce